Re: [U-Boot] [U-Boot,4/4] at91: switch coloured LED to gpio API