# CONFIG_USB_FHCI_HCD is not set