# CONFIG_AHCI_TEGRA is not set
