l4linux: Add igep gpio leds support