#define __CONFIG_SMDK_H
#include <configs/exynos5250-common.h>
+#include <configs/exynos5-dt-common.h>
+#include <configs/exynos5-common.h>
+#undef CONFIG_KEYBOARD
+
+#define CONFIG_BOARD_COMMON
+
+#define CONFIG_IDENT_STRING " for SMDK5250"
+#define CONFIG_DEFAULT_CONSOLE "console=ttySAC1,115200n8\0"
#endif /* __CONFIG_SMDK_H */