# CONFIG_USB_EHCI_PCI is not set
