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