[Y2038] [RFC 32/37] y2038: convert all timex users to use __kernel_timex