# CONFIG_ARCH_TEGRA_3x_SOC is not set