Re: [PATCH v2 5/8] timer: Allow delays with a 32-bit microsecond timer