Comment # 38 on bug 906026 from Jean Delvare

OK, closing it. Feel free to reopen if you ever update the BIOS and the problem
persist.

BTW don't be too afraid of BIOS updates. I must have done a dozen since I
started tinkering with computers and all worked fine.