[boards] minor fixes for navstik