[coreboot-gerrit] Patch set updated for coreboot: 132cd26 Kconfig: Remove ACPI_SSDTX_NUM.