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
fix to sp management for bmguest and monitor. cleans up hw virq completion
Upon hvc-dabort, hypervisor stops the system and dumps registers(+banked) of the guest that caused the dabort for better debugging. vdev_sample test code in bmguest has been disabled