Index: boot/arch/ppc32/Makefile.inc
===================================================================
--- boot/arch/ppc32/Makefile.inc	(revision 812355884f3878eb249907e2c43d2db6a913e1ff)
+++ boot/arch/ppc32/Makefile.inc	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -42,5 +42,5 @@
 
 arch/$(BARCH)/loader/image.boot:
-	$(MAKE) -C arch/$(BARCH)/loader
+	$(MAKE) -C arch/$(BARCH)/loader PRECHECK=$(PRECHECK)
 
 clean: generic_clean