# CONFIG_ARCH_TEGRA_234_SOC is not set
