Cleanup

kernel/include/conc/semaphore.hpp

@@ -113,7 +113,7 @@ struct semaphore {
     }
 
 private:
-    mutable spinlock value_lock; ///< The spin lock protecting the counter
+    spinlock value_lock;    ///< The spin lock protecting the counter
     volatile size_t value;  ///< The value of the counter
     wait_list queue;        ///< The sleep queue
 };