# 4.17



* Bug #392: coreboot 4.17 - SeaBIOS Windows 10 BSOD "ACPI Error"