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

[musl] / src / internal / defsysinfo.c

#include "libc.h"

size_t __sysinfo;