plat-nomadik: type secondary IRQ correctly