# CONFIG_USB_BDC_UDC is not set