GIC: Global Interrupt Controller