# CONFIG_USB_ARCH_HAS_EHCI is not set
