Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 8ecba18be536a7e7a923036b6b1f76b6af2a9a82)
+++ kernel/arch/arm32/Makefile.inc	(revision 1314e3bcb45f4d382dc343b61905c7860d722189)
@@ -41,4 +41,6 @@
 	DMACHINE = MACHINE_GXEMUL_TESTARM
 endif
+
+ATSIGN = %
 
 GCC_CFLAGS += -fno-zero-initialized-in-bss