kernel: Widen pyro time values to 32 bits