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