Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 021d471663b9f267f1999923f91fc387f1943aca)
+++ generic/src/main/main.c	(revision 49a39c2c0d1933132d867a05b71cfac2264eab4b)
@@ -190,5 +190,5 @@
 	
 	if (config.init_size > 0)
-		printf("config.init_addr=%X, config.init_size=%d\n", config.init_addr, config.init_size);
+		printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size);
 
 	/*