[Y2038] [RESEND PATCH 6/7] Change k_clock timer_set() and timer_get() to use timespec64