[coreboot-gerrit] Patch set updated for coreboot: b38fe7d ec/lenovo/h8: Rename LED to avoid conflicting with thinkpad-acpi