Modified the kernel and all tasks with well-formatted printout messages.

include/l4/api/kip.h

@@ -82,7 +82,6 @@ struct kip {
 #define BLKDEV_TID			2
 
 #define __PAGERNAME__			"mm0"
-#define __KERNELNAME__			"code0"
 #define __VFSNAME__			"fs0"
 #define __BLKDEVNAME__			"blkdev0"
 

include/l4/macros.h

@@ -2,6 +2,8 @@
 #define __MACROS_H__
 #include "config.h"
 
+#define __KERNELNAME__			"code0"
+
 /*
  * This file is automatically included before the first line of any
  * source file, using gcc's -imacro command line option.  Only macro

include/l4/platform/pb926/printascii.h

@@ -2,10 +2,12 @@
 #define __PLATFORM__PB926__PRINTASCII__H__
 
 #define	dprintk(str, val)		\
+{					\
 	printascii(str);		\
 	printascii("0x");		\
 	printhex8((val));		\
-	printascii("\n");
+	printascii("\n");		\
+}
 
 void printascii(char *str);
 void printhex8(unsigned int);