[coreboot-gerrit] Patch merged into coreboot/master: google/beltino: fix LED, simplify function for Tricky variant