# CONFIG_ARCH_TEGRA_2x_SOC is not set