virq.c: virq_inject(vmid, virq, pirq, hw) instead of vgic_inject_virqXXX()
Merge branch 'v1' of https://github.com/kesl/khypervisor into v1-virq

Conflicts:
	monitor/Makefile
	monitor/hmain.c
Merge pull request #45 from simonkim/v1-virq

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