Update to my last posting: The machine where this problem occurs is a X41 Thinkpad. CPU is Pentium M Dothan - full spec available on http://www.thinkwiki.org/wiki/Category:X41 -- BUG() report in getnstimeofday: soft lockup https://launchpad.net/bugs/53216