# CONFIG_USB_EHCI_TEGRA is not set
