Fix up the ARM generic interrupt controller (v3) driver in order to channel interrupts through the interrupt pipeline.