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