[Y2038] [PATCH 5/6] timex: use __kernel_timex internally