Index: kernel/arch/amd64/src/smp/ap.S
===================================================================
--- kernel/arch/amd64/src/smp/ap.S	(revision e8471b96a1978ca7e8a7ad8a1fb935a55264087b)
+++ kernel/arch/amd64/src/smp/ap.S	(revision 8539cf2690b4bac2b19facb4566919e7cb6a07dd)
@@ -32,4 +32,5 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/boot/boot.h>
 #include <arch/boot/memmap.h>
@@ -43,6 +44,4 @@
 #ifdef CONFIG_SMP
 
-.global unmapped_ap_boot
-
 # This piece of code is real-mode and is meant to be alligned at 4K boundary.
 # The requirement for such an alignment comes from MP Specification's STARTUP
@@ -50,5 +49,5 @@
 
 .align 4096
-unmapped_ap_boot:
+SYMBOL(unmapped_ap_boot)
 .code16
 	cli
@@ -113,6 +112,5 @@
 #ifdef CONFIG_SMP
 
-.global unmapped_ap_gdtr
-unmapped_ap_gdtr:
+SYMBOL(unmapped_ap_gdtr)
 	.word 0
 	.long 0