Some more minor updates to better use some gcc attributes.
 -Erik
diff --git a/init/init.c b/init/init.c
index d61d1c3..033eb51 100644
--- a/init/init.c
+++ b/init/init.c
@@ -136,6 +136,8 @@
 /* Print a message to the specified device.
  * Device may be bitwise-or'd from LOG | CONSOLE */
 static void message(int device, char *fmt, ...)
+		   __attribute__ ((format (printf, 2, 3)));
+static void message(int device, char *fmt, ...)
 {
 	va_list arguments;
 	int fd;