[coreboot-gerrit] Patch set updated for coreboot: 0b40228 beaglebone: Add code to set the value of the LEDs.