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