Index: arch/amd64/src/boot/boot.S
===================================================================
--- arch/amd64/src/boot/boot.S	(revision 946b63089bf984355ad67509e859179149cd5133)
+++ arch/amd64/src/boot/boot.S	(revision 3396f59d66f8fec98e7d11c13ae9cf5cd21b38ef)
@@ -71,5 +71,5 @@
 
 	# Load gdtr, idtr
-	lgdt bsp_bootstrap_gdtr
+	lgdt real_bootstrap_gdtr_boot
 	
 	movl %cr0,%eax
@@ -167,6 +167,6 @@
 	.quad ptl_1 + (PTL_WRITABLE | PTL_PRESENT)
 
-.global gdtr_inst				
-bsp_bootstrap_gdtr:
+.global real_bootstrap_gdtr_boot
+real_bootstrap_gdtr_boot:
 	.word gdtselector(GDT_ITEMS)
 	.long KA2PA(gdt)-BOOT_OFFSET