1+S:CONFIG_ARM=y 2+S:CONFIG_TEGRA=y 3+S:CONFIG_TEGRA124=y 4+S:CONFIG_TARGET_JETSON_TK1=y 5CONFIG_DEFAULT_DEVICE_TREE="tegra124-jetson-tk1" 6