Ok.... it seems that usbMidi.c treats reatime Midi messages (start, stop, clock etc) as regular channel messages , and uses their byte value to try to determine a Midi channel....
int usb_midi_read(uint32_t channel)
{
uint32_t n, ch, type1, type2, b1;
n = usb_midi_read_message()...