Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision 0f4f1b286ec18fe5bc220bbc629fc26b6813d889)
+++ kernel/generic/src/proc/thread.c	(revision e82879c8ac18233b45e32938c1e9b4aeb9b54a70)
@@ -228,10 +228,4 @@
 }
 
-/** Invoked right before thread_ready() readies the thread. thread is locked. */
-static void before_thread_is_ready(thread_t *thread)
-{
-	assert(irq_spinlock_locked(&thread->lock));
-}
-
 /** Start a thread that wasn't started yet since it was created.
  *
@@ -256,6 +250,4 @@
 
 	assert(thread->state != Ready);
-
-	before_thread_is_ready(thread);
 
 	int i = (thread->priority < RQ_COUNT - 1) ?