daktari_find_board
static Board_node *daktari_find_board(Sys_tree *root, int board);
if ((bnode = daktari_find_board(root, board)) == NULL) {