Move IRQ support to mach-s3c64xx as it is unlikely to be re-used outside
this machine.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>