Index: kernel/generic/include/stdio.h
===================================================================
--- kernel/generic/include/stdio.h	(revision 208db5ac8515f1f9a7936d74f0371c0ba4f5bf48)
+++ kernel/generic/include/stdio.h	(revision 55a81a3189d42385a6cfcd65bdafe833123928a7)
@@ -37,5 +37,4 @@
 
 #include <print.h>
-#include <putchar.h>
 
 #endif