Merge "Make the MIDI Manager optional, enabled by "android.software.midi" feature"