Update LED configuration

Note: that this needs the EXTI PR #318 (for the generated builds/pins.h file) in order to work properly.