ARM: S5P64X0: Update IRQ support