diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index c849f6bc8a..0ce94a8c4d 100644
--- a/xen/arch/arm/Makefile
+++ b/xen/arch/arm/Makefile
@@ -70,18 +70,12 @@ else
 all_symbols =
 endif
 
-$(TARGET): $(TARGET)-syms $(TARGET).axf
+$(TARGET): $(TARGET)-syms
 	$(OBJCOPY) -O binary -S $< $@
 ifeq ($(CONFIG_ARM_64),y)
 	ln -sf $(notdir $@)  ../../$(notdir $@).efi
 endif
 
-$(TARGET).axf: $(TARGET)-syms
-	# XXX: VE model loads by VMA so instead of
-	# making a proper ELF we link with LMA == VMA and adjust crudely
-	$(OBJCOPY) --change-addresses +0x80000000 $< $@
-	$(STRIP) $@
-
 ifeq ($(CONFIG_LTO),y)
 # Gather all LTO objects together
 prelink_lto.o: $(ALL_OBJS)
@@ -130,5 +124,4 @@ dtb.o: $(CONFIG_DTB_FILE)
 clean::
 	rm -f asm-offsets.s xen.lds
 	rm -f $(BASEDIR)/.xen-syms.[0-9]*
-	rm -f $(TARGET).axf
 	rm -f $(TARGET).efi