Index: kernel/arch/ia32/src/boot/boot.S
===================================================================
--- kernel/arch/ia32/src/boot/boot.S	(revision 6d8c4654bf3953c7eb9e51a4a38c81bb83ee9148)
+++ kernel/arch/ia32/src/boot/boot.S	(revision 5b6f8dd368eefacbccc808304147af71adde0e4e)
@@ -125,5 +125,5 @@
 		/* Map kernel and turn paging on */
 		pm_status $status_non_pse
-		call map_kernel
+		call map_kernel_non_pse
 	
 	stack_init:
@@ -196,6 +196,5 @@
  *
  */
-.global map_kernel
-map_kernel:
+map_kernel_non_pse:
 	/* Paging features */
 	movl %cr4, %ecx