Change 0x%p to %p. Thanks Stefan for catching the one I introduced in 3931.

Signed-off-by: Myles Watson <mylesgw@gmail.com>
Acked-by: Myles Watson <mylesgw@gmail.com>

git-svn-id: svn://svn.coreboot.org/coreboot/trunk@3933 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

src/arch/i386/boot/pirq_routing.c

@@ -25,7 +25,7 @@ static void check_pirq_routing_table(struct irq_routing_table *rt)
 	for (i = 0; i < rt->size; i++)
 		sum += addr[i];
 
-	printk_debug("%s(): Interrupt Routing Table located at 0x%p.\n",
+	printk_debug("%s(): Interrupt Routing Table located at %p.\n",
 		     __FUNCTION__, addr);
 
 	

src/boot/elfboot.c

@@ -590,7 +590,7 @@ int elfload(struct lb_memory *mem,
 	/* Reset to booting from this image as late as possible */
 	boot_successful();
 
-	printk_debug("Jumping to boot code at 0x%p\n", entry);
+	printk_debug("Jumping to boot code at %p\n", entry);
 	post_code(0xfe);
 
 	/* Jump to kernel */