Re: [PATCH v3 1/4] timer: Allow delays with a 32-bit microsecond timer