CONFIG_SPL=y
  CONFIG_ARM=y
  CONFIG_ARCH_EXYNOS=y
  CONFIG_TARGET_SMDK5420=y
  CONFIG_DEFAULT_DEVICE_TREE="exynos5420-smdk5420"