Index: kernel/generic/src/main/shutdown.c
===================================================================
--- kernel/generic/src/main/shutdown.c	(revision e88eb48e75ad044807a59279a35841cbebbc9611)
+++ kernel/generic/src/main/shutdown.c	(revision 2e4343bb577304bd2bb9c0c4825438035b24ac6f)
@@ -39,5 +39,4 @@
 #include <proc/task.h>
 #include <halt.h>
-#include <print.h>
 #include <log.h>