Symbol: update_board_leds