ARM: S3C64XX: add support for mach-mini6410