On Wed, 14 Nov 2012, Jesse Barnes wrote: > + unsigned long bad_ranges[] = { > + 0x20050000, > + 0x20110000, > + 0x20130000, > + 0x20138000, > + 0x40004000, Yikes. Can this be fixed through a microcode update? The kernel would still need the workaround anyway, but at least you would be able to be quite heavy-handed on it, and users could be warned of a better fix... -- "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