# CONFIG_PCI_TEGRA is not set
