Fixed IRQ number

cf.  "Cortex™-A15 Technical Reference Manual" ( 8.2.3 Interrupt sources )