[coreboot] Patch merged into coreboot/master: 428cab4 Move GGL0001 ACPI code to generic ChromeOS code