Add banked registers on vdev_gicd.fix bugs in handler_IPRIORITY.