[U-Boot] [PATCH 01/14] smdk6400: Move smdk6400 board from Makefile to boards.cfg