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