diff --git a/src/kernel/core/arch/x86/arch_cpu.c b/src/kernel/core/arch/x86/arch_cpu.c
index 68752e6f14..a6c9d238ea 100755
--- a/src/kernel/core/arch/x86/arch_cpu.c
+++ b/src/kernel/core/arch/x86/arch_cpu.c
@@ -19,6 +19,8 @@
 #include <stdio.h>
 
 
+void reboot(void);
+
 static struct tss **sTSS;
 static int *sIsTSSLoaded;
 
@@ -209,6 +211,15 @@ error:
 }
 
 
+status_t
+arch_cpu_shutdown(bool _reboot)
+{
+	// we can't do anything else, yet
+	reboot();
+	return B_OK;
+}
+
+
 void
 arch_cpu_idle(void)
 {