De genoemde bug lijkt me eerder een probleem voor een (U)EFI dan een BIOS. Op oude machines met een BIOS kan het OS geen invloed hebben op de werking van het BIOS. Bij (U)EFI kan een EFI-driver de boel verzieken. In 2013 was er een vergelijkbaar probleem.
JD
24 Dec 2017 - 22:19