ARM GIC Virtualization question