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