at91: switch coloured LED to gpio API