LEDs are now configured based on a board-specific initialization in PIOS_BOARD_Init(). LEDs are now named: PIOS_LED_HEARTBEAT PIOS_LED_ALARM