context now flushes queued virqs to the current guest when no guest switching occurs (i.e. single guest configuration). + vgic_flush_virqs() in vgic.h/c
Merge remote-tracking branch 'simon/v1-virq' into v1-vdev
virq_inject_sw is working