!fixup don't wire gicv2 VNMI NMI
diff --git a/hw/arm/virt.c b/hw/arm/virt.c
index 63d9f5b..b132290 100644
--- a/hw/arm/virt.c
+++ b/hw/arm/virt.c
@@ -884,10 +884,12 @@
                            qdev_get_gpio_in(cpudev, ARM_CPU_VIRQ));
         sysbus_connect_irq(gicbusdev, i + 3 * smp_cpus,
                            qdev_get_gpio_in(cpudev, ARM_CPU_VFIQ));
-        sysbus_connect_irq(gicbusdev, i + 4 * smp_cpus,
-                           qdev_get_gpio_in(cpudev, ARM_CPU_NMI));
-        sysbus_connect_irq(gicbusdev, i + 5 * smp_cpus,
-                           qdev_get_gpio_in(cpudev, ARM_CPU_VINMI));
+        if (vms->gic_version != VIRT_GIC_VERSION_2) {
+            sysbus_connect_irq(gicbusdev, i + 4 * smp_cpus,
+                               qdev_get_gpio_in(cpudev, ARM_CPU_NMI));
+            sysbus_connect_irq(gicbusdev, i + 5 * smp_cpus,
+                               qdev_get_gpio_in(cpudev, ARM_CPU_VINMI));
+        }
     }
 
     fdt_add_gic_node(vms);