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