CONFIG_ARM=y
  CONFIG_ARCH_EXYNOS=y
  CONFIG_TARGET_ODROID_XU3=y
  CONFIG_DEFAULT_DEVICE_TREE="exynos5422-odroidxu3"
  # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set