[coreboot-gerrit] Patch set updated for coreboot: 7df8640 acpi/sata: add generic sata ssdt port generator