[Y2038] [PATCH v2 22/29] timex: use __kernel_timex internally