y2038: futex: Add support for __kernel_timespec