[coreboot] [coreboot - Bug #392] Coreboot 4.16 & 4.17 - SeaBios Windows 10 BSOD "ACPI Error"