Re: [coreboot] [PATCH] 939a785gmh ACPI diet