[coreboot] Patch merged into master: c40cd03 T60: set dock LED's in mainboard.c