semtimedop: fix timespec kernel ABI mismatch for 32-bit timeouts on x32