# CONFIG_USB_XHCI_PLATFORM is not set