Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/amd64/src/debugger.c	(revision fb52db8f118975b401dbf28c2f4b1bef62c0328b)
@@ -201,7 +201,5 @@
 
 	/* Send IPI */
-#ifdef CONFIG_SMP
 //	ipi_broadcast(VECTOR_DEBUG_IPI);
-#endif	
 
 	return curidx;
@@ -262,7 +260,5 @@
 	spinlock_unlock(&bkpoint_lock);
 	interrupts_restore(ipl);
-#ifdef CONFIG_SMP
-//	ipi_broadcast(VECTOR_DEBUG_IPI);	
-#endif
+//	ipi_broadcast(VECTOR_DEBUG_IPI);
 }