--- xen-4.2.0/tools/firmware/etherboot/Makefile.ORIG	2012-09-17 12:21:18.000000000 +0200
+++ xen-4.2.0/tools/firmware/etherboot/Makefile	2012-09-18 13:39:39.466352815 +0200
@@ -28,12 +28,6 @@
 	$(MAKE) -C $D/src bin/$(*F).rom
 
 $T:
-	if ! wget -O _$T $(IPXE_TARBALL_URL); then \
-		$(GIT) clone $(IPXE_GIT_URL) $D.git; \
-		(cd $D.git && $(GIT) archive --format=tar --prefix=$D/ \
-		$(IPXE_GIT_TAG) | gzip >../_$T); \
-		rm -rf $D.git; \
-	fi
 	mv _$T $T
 
 $D/src/arch/i386/Makefile: $T Config