Index: boot/arch/ia64/Makefile.inc
===================================================================
--- boot/arch/ia64/Makefile.inc	(revision cc1f8d49ea50ec53cdbef1c6e641762fee657fb0)
+++ boot/arch/ia64/Makefile.inc	(revision 079f4402537f59cd1c6af7767c212795b7015ffd)
@@ -30,5 +30,5 @@
 
 $(BASE)/image.boot:
-	$(MAKE) -C arch/$(BARCH)/loader
+	$(MAKE) -C arch/$(BARCH)/loader PRECHECK=$(PRECHECK)
 	cp arch/$(BARCH)/loader/image.boot $@