CONFIG_ARM=y
  CONFIG_TEGRA=y
  CONFIG_TEGRA124=y
  CONFIG_TARGET_JETSON_TK1=y
  CONFIG_DEFAULT_DEVICE_TREE="tegra124-jetson-tk1"