89a23a05b3
So that the timeout for machine.time_pulse_us() can be large. Fixes issue #2775.
So that the timeout for machine.time_pulse_us() can be large. Fixes issue #2775.