# CONFIG_USB_CONFIGFS_RNDIS is not set