[ARM] SMDK6400: Initial machine support for SMDK6400