# CONFIG_USB_MIDI_GADGET is not set