>> I can re-create the problem if anybody wants me to help diagnose it. > > please do. > Looks like I don't need to: I left the machines running last night and I note two more instances this morning, using the patched kernel. So the problem is much less common now, but still present. That is positively weird.
I thought I posted a request for some help debugging the kernel from the diagnostics, I wonder if only Erik got my message? If anyone can give me some suggestions, I'll have time this evening or more likely early tomorrow morning. ++L
