# CONFIG_USB_CONFIGFS_F_MIDI is not set