[coreboot-gerrit] Patch set updated for coreboot: 3f34214 Make version look like something thinkpad_acpi would accept