# CONFIG_MMC_SDHCI_TEGRA is not set
