Index: kernel/generic/src/smp/ipi.c
===================================================================
--- kernel/generic/src/smp/ipi.c	(revision 26d3ae2d56cbdf7eaecdc582b53cef8f6ebf6f7c)
+++ kernel/generic/src/smp/ipi.c	(revision 6473d41b400a0e37add4151c14a275fde0f6c28b)
@@ -47,8 +47,4 @@
  * @param ipi Message to broadcast.
  *
- * @bug The decision whether to actually send the IPI must be based
- *      on a different criterion. The current version has
- *      problems when some of the detected CPUs are marked
- *      disabled in machine configuration.
  */
 void ipi_broadcast(int ipi)
@@ -60,5 +56,5 @@
 	 */
 	
-	if ((config.cpu_active > 1) && (config.cpu_active == config.cpu_count))
+	if (config.cpu_count > 1)
 		ipi_broadcast_arch(ipi);
 }