[coreboot-gerrit] New patch to review for coreboot: 9dc55d5 beaglebone: Add code to set the value of the LEDs.