Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 6ac14a70ed101ee9fa8379a5f9ef15a38f08aec5)
+++ boot/arch/arm32/Makefile.inc	(revision 76093aefd3bb77531c0e7013bb69e1546d81aab9)
@@ -36,5 +36,5 @@
 
 arch/$(BARCH)/loader/image.boot:
-	make -C arch/$(BARCH)/loader COMPILER=$(COMPILER) KERNELDIR=../../../$(KERNELDIR) USPACEDIR=../../../$(USPACEDIR) MACHINE=$(MACHINE)
+	make -C arch/$(BARCH)/loader COMPILER=$(COMPILER) KERNELDIR=../../../$(KERNELDIR) USPACEDIR=../../../$(USPACEDIR)
 
 clean: