Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 6d1790c97df22dccbe2ccced9e902481c72d86af)
+++ libcfa/src/concurrency/kernel.cfa	(revision 601165821d0880d71183d817e5e75ac1e73f37ec)
@@ -619,4 +619,7 @@
 	lock( kernel_abort_lock __cfaabi_dbg_ctx2 );
 
+	// disable interrupts, it no longer makes sense to try to interrupt this processor
+	disable_interrupts();
+
 	// first task to abort ?
 	if ( kernel_abort_called ) {			// not first task to abort ?