Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ kernel/generic/src/main/shutdown.c	(revision 2ca5a198f7308b0c892b04c0fcda44f5e83eb8f0)
@@ -38,5 +38,5 @@
 #include <arch.h>
 #include <proc/task.h>
-#include <func.h>
+#include <halt.h>
 #include <print.h>
 #include <log.h>