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