Add support for S3C6400 SDHCI channels 0 and 1, making
the GPIO code common to both S3C6400 and S3C6410.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Add the core support files for the Samsung S3C6400 SoC.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>

Add minimial support for the SMDK6400 board to test
the S3C6400 support.
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>