# CONFIG_USB_XHCI_MTK is not set
