[coreboot-gerrit] Patch set updated for coreboot: 73c6a57 ACPI: slic support