[coreboot-gerrit] Patch set updated for coreboot: 73ea797 Lenovo hotkeys support