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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]