Vgic

VGIC: 
- guest context switch now saves/restores VGIC configuration. 
- test code in tests_gic_timer.c injects virq 30 every timer_sched tick to the current guest only for test purpose