unset_board_info procedure (DejaGnu)

This checks if board_info array’s field entry has been set and if so, then removes it.

unset_board_info{entry}