# CONFIG_ARCH_TEGRA_194_SOC is not set