[coreboot-gerrit] New patch to review for coreboot: 7b275f8 ACPI: Remove CONFIG_GENERATE_ACPI_TABLES