linux-user: sync syscall numbers with kernel