Change syscall ABI to match RISC-V Linux