Fix up the Marvell EBU GPIO controller driver in order to channel interrupts through the interrupt pipeline.