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