adding wc to the actual cv struct

kern/thread/synch.c

@@ -247,7 +247,8 @@ struct cv * cv_create(const char * name)
     return NULL;
   }
 
- return cv;
+  cv->wc = wc;
+  return cv;
 }
 
 void cv_destroy(struct cv * cv)