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