Mike, After the BIOS update, do you have any "microcode" entries in the kernel log? Could you send them to the bug report?
-- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh
