# CONFIG_USB_CHIPIDEA_ULPI is not set