Extra lint fixes

*** 627,637 ****
                  VERIFY(name != NULL);
                  inotify_watch_hold(parent);
                  watch->inw_mask &= IN_CHILD_EVENTS;
                  watch->inw_parent = parent;
                  watch->inw_name = kmem_alloc(strlen(name) + 1, KM_SLEEP);
!                 strcpy(watch->inw_name, name);
  
                  avl_add(&parent->inw_children, watch);
          }
  
          /*
--- 627,638 ----
                  VERIFY(name != NULL);
                  inotify_watch_hold(parent);
                  watch->inw_mask &= IN_CHILD_EVENTS;
                  watch->inw_parent = parent;
                  watch->inw_name = kmem_alloc(strlen(name) + 1, KM_SLEEP);
!                 /* strcpy() is safe, because strlen(name) bounds us. */
!                 (void) strcpy(watch->inw_name, name);
  
                  avl_add(&parent->inw_children, watch);
          }
  
          /*