# CONFIG_USB_ARCH_HAS_XHCI is not set
