[coreboot] [PATCH] 939a785gmh ACPI diet