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