Comment # 7 on bug 1207948 from Jiri Slaby

And yet (sorry), brand new BIOSes might be buggy, so no BIOS update available
(e.g. via fwupd)?