Index: arch/ia32/src/smp/mps.c
===================================================================
--- arch/ia32/src/smp/mps.c	(revision 280a27e37f59414f14a49f3d48620945ee8580e0)
+++ arch/ia32/src/smp/mps.c	(revision 6ecc8bce45bcc67b6373d7dbfafad230f5b1ee01)
@@ -188,5 +188,5 @@
 	
 fs_found:
-	printf("%P: MPS Floating Pointer Structure\n", fs);
+	printf("%p: MPS Floating Pointer Structure\n", fs);
 
 	if (fs->config_type == 0 && fs->configuration_table) {
@@ -407,5 +407,5 @@
 		switch (cur[CT_EXT_ENTRY_TYPE]) {
 			default:
-				printf("%P: skipping MP Configuration Table extended entry type %d\n", cur, cur[CT_EXT_ENTRY_TYPE]);
+				printf("%p: skipping MP Configuration Table extended entry type %d\n", cur, cur[CT_EXT_ENTRY_TYPE]);
 				break;
 		}