ARM: s3c64xx: MACH_SMDK6400 needs HSMMC1