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