Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 021d471663b9f267f1999923f91fc387f1943aca)
+++ generic/src/main/main.c	(revision fa2d38295826e03b7d6e05160b05886ceb03f652)
@@ -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);
 
 	/*