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