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