[coreboot-gerrit] Patch set updated for coreboot: d644a67 rambi: Enable SCC devices in ACPI mode