Gpio leds

Here are the kernel config changes that go with mindboards/ev3dev-kernel#5