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