# CONFIG_USB_ARCH_HAS_OHCI is not set
