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