# CONFIG_ARCH_TEGRA is not set
