plat-mxc: Provide irq_chip name for GPIO IRQs