Re: [coreboot] ACPI error booting Windows