x86: Make the MP tables and IOAPIC output slightly more useful

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>

kern/arch/x86/ioapic.c

diff --git a/kern/arch/x86/ioapic.c b/kern/arch/x86/ioapic.c
index 68f83e8..70d91a5 100644
--- a/kern/arch/x86/ioapic.c
+++ b/kern/arch/x86/ioapic.c
@@ -310,7 +310,8 @@
 	write_mmreg32(apic->addr + Ioregsel, Ioapicid);
 	write_mmreg32(apic->addr + Iowin, id << 24);
 	spin_unlock(&apic->lock);
-	printk("IOAPIC initialized at %p\n", apic->addr);
+	printk("IOAPIC initialized at %p, nrdt %d, ibase %d\n", apic->addr,
+	       apic->nrdt, apic->ibase);
 }
 
 char *ioapicdump(char *start, char *end)

kern/arch/x86/mp.c

diff --git a/kern/arch/x86/mp.c b/kern/arch/x86/mp.c
index 7d51f36..5733be9 100644
--- a/kern/arch/x86/mp.c
+++ b/kern/arch/x86/mp.c
@@ -410,7 +410,7 @@
 			break;
 		case 128:
 			printd("address space mapping\n");
-			printd(" bus %d type %d base %#llux length %#llux\n",
+			printd(" bus %d type %d base %p length %p\n",
 				   p[2], p[3], l64get(p + 4), l64get(p + 12));
 			p += p[1];
 			break;