Flashing LED1

Working code for flashing LED1 on the carrier board (BOARDLED0 in code).