hw/intc: Initial implementation of vGICv3