ARM: S5P64X0: External Interrupt Support