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