[coreboot] [coreboot - Bug #392] (Response Needed) coreboot 4.17 - SeaBIOS Windows 10 BSOD "ACPI Error"