Re: [PATCH v4 2/3] arch/riscv: add semihosting support for RISC-V