slight DEBUG_TRACE enhancement for MidiPort::flush_buffers() output