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