Hi David, > > Just curious - does it happen if you disable SMP? (More as a useful > > data point than being able to suggest anything towards a fix) > > I guess not (no cross-calls) but I can try it. This was trivial to try out. No problems with a UP kernel. Regards, Julian