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 bit. I can't tell you if the BIOS upgrade fixed the problem on all kernels, but I suspect so.