Re: [PATCH] riscv/entry: get correct syscall number from syscall_get_nr()