[PATCH 13/14] hw/mips/mips_int: De-duplicate KVM interrupt delivery