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