# CONFIG_USB_XHCI_TEGRA is not set
