Index: kernel/arch/ppc32/Makefile.inc
===================================================================
--- kernel/arch/ppc32/Makefile.inc	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/ppc32/Makefile.inc	(revision 5da468ef646d75eceb4aa88033bece23060612fb)
@@ -32,6 +32,6 @@
 
 GCC_CFLAGS += -mcpu=powerpc -msoft-float -m32
-AFLAGS += -a32
-LFLAGS += -no-check-sections -N
+AFLAGS = -a32
+LFLAGS = -no-check-sections -N
 
 BITS = 32