Index: src/libcfa/concurrency/preemption.c
===================================================================
--- src/libcfa/concurrency/preemption.c	(revision 293377c1dd1fb77afd6b5c24127b4f3eea919c4f)
+++ src/libcfa/concurrency/preemption.c	(revision 05615ba979f4237418a6e42a23864237ee03a29c)
@@ -300,4 +300,6 @@
 	// Check if it is safe to preempt here
 	if( !preemption_ready() ) { return; }
+
+	// __cfaabi_dbg_print_buffer_decl(" KERNEL: preempting core %p (%p).\n", this_processor, this_thread);
 
 	preemption_in_progress = true;                      // Sync flag : prevent recursive calls to the signal handler