[AVR32] leds-gpio for stk1000