Oh I think youre right, I would put it differently for my own understanding:

If the rx buffer contains more than one midi event, their data will be munged together into a single avr32 event, instead of posting 2. Right?

I guess this would happen more often in 0.7.1 for the reasons above

I think yr right that it could be much simplified… this looks like the aftermath of some messy refactor