virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virq_sw/hw()

Added virq.c
New VIRQ Injection API: virq_inject(vmid, virq, pirq, hw)