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