vdev_gicd.c: Virtual GIC Distributor Device for Guests - Experimental
Merge branch 'v1' of https://github.com/kesl/khypervisor into v1-vgicd

Conflicts:
	monitor/Makefile
Merge pull request #46 from simonkim/v1-vgicd

vdev_gicd.c: Virtual GIC Distributor Device for Guests - Experimental