# CONFIG_USB_HCD_BCMA is not set