[coreboot-gerrit] Patch set updated for coreboot: 23500d5 winent/mb6047: drop inaccurate comment in acpi_tables.c