Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/generic/include/print.h	(revision ed6cf34babe917070469342f0d6f397d2a098d4f)
@@ -39,5 +39,5 @@
 #include <stdarg.h>
 
-#define EOF (-1)
+#define EOF  (-1)
 
 extern int puts(const char *s);