Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision ec944b1fe3e29a4f91a93cbdd7acc7aa350d7f39)
+++ kernel/arch/ia32/include/asm.h	(revision 3a1c04856d3e268c907e5eef575e2931ca11f358)
@@ -57,10 +57,14 @@
 /** Halt CPU
  *
- * Halt the current CPU until interrupt event.
+ * Halt the current CPU.
  *
  */
 static inline void cpu_halt(void)
 {
-	asm volatile ("hlt\n");
+	asm volatile (
+		"0:\n"
+		"	hlt\n"
+		"	jmp 0b\n"
+	);
 }