fix 64-bit syscall argument passing on or1k