[Y2038] [RFC 31/37] y2038: introduce struct __kernel_timex