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