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