[ARM] SMDK6410: Initial machine support

Initial machine support for the Samsung SMDK6410.

Signed-off-by: Ben Dooks <ben-linux@fluff.org>
3 files changed