Fixed reads to GIC Interrupt Control Registers so that the irq no is calculated correctly