[coreboot-gerrit] Patch merged into coreboot/master: 9310df8 acpi: Don't add an empty SSDT.