Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision ec944b1fe3e29a4f91a93cbdd7acc7aa350d7f39)
+++ kernel/arch/amd64/include/asm.h	(revision 5597947bd5373c00e8765e42d94a8f15fe74bfbf)
@@ -70,5 +70,9 @@
 static inline void cpu_halt(void)
 {
-	asm volatile ("hlt\n");
+	asm volatile (
+		"0:\n"
+		"	hlt\n"
+		"	jmp 0b\n"
+	);
 }