update_board_leds
update_board_leds(list, FHC_LED_RIGHT|FHC_LED_MID, value);
void update_board_leds(fhc_bd_t *, uint_t, uint_t);