Add the necessary helper functions for setting up the SDHCI
device information.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Initial machine support for the Samsung SMDK6410.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Initial support for the Samsung S3C6410 SoC.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Add the initial PLAT_S3C64XX support files
and directory structure.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>