# CONFIG_USB_CHIPIDEA is not set