Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision e68d09236d814efe89f3e680ef44217ed691df67)
+++ libcfa/src/concurrency/kernel.cfa	(revision 8e16177bb7b956e44e21fd62743a6133acab4b8b)
@@ -901,4 +901,5 @@
 	// Wake them up
 	__cfadbg_print_safe(runtime_core, "Kernel : waking Processor %p\n", this->idles.head);
+	/* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
 	post( this->idles.head->idle );
 
@@ -911,5 +912,11 @@
 static bool __wake_proc(processor * this) {
 	__cfadbg_print_safe(runtime_core, "Kernel : waking Processor %p\n", this);
-	return post( this->idle );
+
+	disable_interrupts();
+		/* paranoid */ verify( ! kernelTLS.preemption_state.enabled );
+		bool ret = post( this->idle );
+	enable_interrupts( __cfaabi_dbg_ctx );
+
+	return ret;
 }