at91: switch coloured LED to gpio API
[kernel/u-boot.git] / board / total5200 /
2004-07-11 wdenkPatch by Mark Jonas, 01 Jul 2004: