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

Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/fdt.c b/src/fdt.c
index de54189..0ba1177 100644
--- a/src/fdt.c
+++ b/src/fdt.c
@@ -387,7 +387,7 @@
 				 *)((uintptr_t)hdr +
 				    be32toh(hdr->off_mem_rsvmap));
 		while (e->address || e->size) {
-			dlog("Entry: %p (0x%x bytes)\n", be64toh(e->address),
+			dlog("Entry: %p (%#x bytes)\n", be64toh(e->address),
 			     be64toh(e->size));
 			e++;
 		}