[coreboot-gerrit] Patch set updated for coreboot: 9b211d1 ACPI: slic support