Symbol: ar231x_board_config