linux: use futex_time64 where applicable

This adds support for 32-bit RISC-V, which only supports 64-bit time_t, and thus lacks a plain futex system call. This also adds (future) support for building with a 64-bit time_t ABI on a 32-bit platform.