# CONFIG_USB_EHCI_FSL is not set