> >> What machine has this BIOS bug, and are you running > >> the latest version of the BIOS? > > > > Intel DQ67SW, version SWQ6710H.86A.0051.2011.0413.1154. This is not > > quite up-to-date -- I'll test a newer BIOS. > > SWQ6710H.86A.0053.2011.0615.1535 has the same problem. It fixed ASPM, though :) > > Should I redo the patch with a printk to warn about the firmware bug? I would hope that a patch that _only_ prints [Firmware bug] should be enough. This isn't the kind of workaround that we should really have to carry in the kernel. This is still a very new platform, and my guess is that they are actively updating the BIOS as we speak. I'll see if I can figure out who to talk to in order to make sure of that:-) thanks, Len Brown, Intel Open Source Technology Center
