# CONFIG_USB_EHCI_HCD is not set
