Re: [PATCH v3 07/12] target/riscv: Support setting external interrupt by KVM