[coreboot] Re: Optiplex 9010 ACPI bug