[coreboot-gerrit] Patch set updated for coreboot: d79b77b ACPI: Remove CONFIG_GENERATE_ACPI_TABLES