Bug fix vdev_gicd.c