virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virqXXX()
Merge branch 'v1-irqdebug' into v1-vgicd

Conflicts:
	bmguest/c_start.c
	monitor/Makefile
	monitor/devices/gic/vgic.c
	monitor/hmain.c
vdev_gicd.c: Virtual GIC Distributor - Experimental