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