VGIC: Imcomplete Implementation - Initialization and preliminary VIRQ injection function

### Much to be implemented:
- Handling Maintenance IRQ to complete virq deactivation
- Feeding pending virq to the guest, if any
- VIRQ injection to a specific guest
- Context switching integration