And done optimizing for today.
In red is yesterday's first profile before I started digging in the code, and in green it's the results after having seriously hacked in the IRQ handler.
About 8.7% improvement, that's not too bad :)
(and yes, I've adjusted some demo timings)