added comments vdev_gicd.c vdev_gicd.h