# CONFIG_USB_EHCI_MXC is not set