kernel: Widen pyro time values to 32 bits
[fw/altos] / NEWS