Update kernel config
Export board leds
Add micropython
Add debugging kernel config