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