sched_rr_get_interval: don't assume time_t is 32-bit on 32-bit archs