Comment # 53 on bug 1007695 from Franck Bui

Ok so closing this as INVALID since it's an issue with BIOS.

Andreas, you can still use the workaround provided in comment #41 if there's no
update for your BIOS.

And thanks to Michal and Jean for their insight.