Fix up ATMEL's AIC5 interrupt controller driver in order to channel interrupts through the interrupt pipeline.