By the way as an addendum to my previous post. I has the same problem
on this machine with a number of (but not all) kernels both 64 and 32
I can't tell you if the BIOS upgrade fixed the problem on all kernels,
but I suspect so.