Re: [PATCH v4 3/3] board: qemu-riscv: enable semihosting