# CONFIG_USB_XHCI_HISTB is not set