Use # format specifier rather than manually writing 0x for hex numbers.

Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/main.c b/src/main.c
index 9a66975..fc6cc55 100644
--- a/src/main.c
+++ b/src/main.c
@@ -79,12 +79,12 @@
 	cpu_module_init(params.cpu_ids, params.cpu_count);
 
 	for (i = 0; i < params.mem_ranges_count; ++i) {
-		dlog("Memory range:  0x%x - 0x%x\n",
+		dlog("Memory range:  %#x - %#x\n",
 		     pa_addr(params.mem_ranges[i].begin),
 		     pa_addr(params.mem_ranges[i].end) - 1);
 	}
 
-	dlog("Ramdisk range: 0x%x - 0x%x\n", pa_addr(params.initrd_begin),
+	dlog("Ramdisk range: %#x - %#x\n", pa_addr(params.initrd_begin),
 	     pa_addr(params.initrd_end) - 1);
 
 	/* Map initrd in, and initialise cpio parser. */