Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision b87f41860c88213bb9dc599f59adedde6615550b)
+++ arch/ia32/src/mm/page.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -41,5 +41,5 @@
 #include <print.h>
 
-__address bootstrap_dba; 
+static __address bootstrap_dba; 
 
 void page_arch_init(void)
@@ -64,14 +64,5 @@
 	}
 	else {
-		/*
-		 * Application processors need to create their own view of the
-		 * virtual address space. Because of that, each AP copies
-		 * already-initialized paging information from the bootstrap
-		 * processor and adjusts it to fulfill its needs.
-		 */
-
-		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
-		memcpy((void *)dba, (void *)bootstrap_dba , PAGE_SIZE);
-		write_cr3(KA2PA(dba));
+		write_cr3(KA2PA(bootstrap_dba));
 	}