x32: Add x32 system calls to syscall/syscall_64.tbl