[tip: timers/urgent] time: Zero the upper 32-bits in __kernel_timespec on 32-bit