[coreboot-gerrit] Patch set updated for coreboot: fa0b6ef acpi: Don't add an empty SSDT.