mach-ux500: update SoC and board IRQ handling