diff --git a/src/kernel/core/main.c b/src/kernel/core/main.c
index 1a1060ec3b..04b7387682 100644
--- a/src/kernel/core/main.c
+++ b/src/kernel/core/main.c
@@ -162,6 +162,15 @@ _start(kernel_args *oldka, int cpu_num)
 }
 
 
+status_t
+shutdown(bool reboot)
+{
+	sync();
+
+	return arch_cpu_shutdown(reboot);
+}
+
+
 static int32
 main2(void *unused)
 {