ARM: ux500: Use correct format for dynamic IRQ assignment