Had a look at the "official" Teensy MIDI library. The function sendSysEx() does exactly what I do and writes all bytes to the serial output, one byte at a time. That means, in reality it writes it into a FIFO with most likely 64 bytes of size and "in the background" the data from that FIFO gets...