Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision 181a746c0eb2d625af267727d01796f91915bccd)
+++ kernel/generic/src/main/shutdown.c	(revision 935e28c8aa3b9baab3bd1019dc4ef58654e3ff93)
@@ -37,4 +37,5 @@
 
 #include <arch.h>
+#include <proc/task.h>
 #include <func.h>
 #include <print.h>