Add compat linux32 sys_clock_{getres,gettime,settime} syscalls.