timer_settime: add support for time64 syscall, decouple 32-bit time_t