vdev_gicd.c : virtual distributor notify modified interrupt status to outside

vdev_gicd.c : virtual distributor notify modified interrupt status to outside
There is test code in tests_vdev.c