ready to begin vgic implementation
Merge branch 'proto2' into vgic

Conflicts: RESOLVED MANUALY
	monitor/Makefile
VGIC: Added with only initialization and virq injection function. Maintenance IRQ handling, virq deactivation, and guest context switching are not implemented yet
Merge branch 'vgic' into proto2