RE: [PATCH v2 07/12] target/riscv: Support setting external interrupt by KVM