Index: kernel/arch/ppc32/src/boot/boot.S
===================================================================
--- kernel/arch/ppc32/src/boot/boot.S	(revision 26aafe8d909ecb61306a77910aeb374da3814391)
+++ kernel/arch/ppc32/src/boot/boot.S	(revision 9182e86f8fac41203c8da4e3158cbf2b160dc738)
@@ -27,4 +27,5 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/asm/regname.h>
 #include <config.h>
@@ -32,7 +33,5 @@
 .section K_TEXT_START, "ax"
 
-.global kernel_image_start
-kernel_image_start:
-	
+SYMBOL(kernel_image_start)
 	# load temporal kernel stack