Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision dabdd1aaada964f4510bd352506e4f47c078c88d)
+++ kernel/arch/amd64/src/debugger.c	(revision 26d3ae2d56cbdf7eaecdc582b53cef8f6ebf6f7c)
@@ -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);
 }