Re: [PATCH 12/13] riscv: define syscall_get_arch()