Interesting in the light of a comment from Ingo Molnar this morning on
LKML:
Plus this system is an old P4 HyperThreading dual-socket system:
pretty much the only thing HyperThreading is good for on that box is
finding SMP races: that CPU can (and will) yield between
hyperthreads on arbitrary instruction boundaries - opening up races
wide open.