Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision b5746a25ee86f909936875a9a1702d3819b41b84)
+++ kernel/generic/src/main/kinit.c	(revision b8ab299d2bbb6098fea4bbbc0986683a61e9d9b8)
@@ -51,5 +51,5 @@
 #include <proc/program.h>
 #include <panic.h>
-#include <func.h>
+#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>
Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision b5746a25ee86f909936875a9a1702d3819b41b84)
+++ kernel/generic/src/main/shutdown.c	(revision b8ab299d2bbb6098fea4bbbc0986683a61e9d9b8)
@@ -38,5 +38,5 @@
 #include <arch.h>
 #include <proc/task.h>
-#include <func.h>
+#include <halt.h>
 #include <print.h>
 #include <log.h>