# CONFIG_USB_EHCI_HCD_PLATFORM is not set