--- linux-4.9/arch/x86/Makefile
+++ linux-4.9/arch/x86/Makefile
@@ -284,6 +284,9 @@
 # KBUILD_IMAGE specify target image being built
 KBUILD_IMAGE := $(boot)/bzImage
 
+vmlinux.eva_pad: vmlinux FORCE
+	cp $< $(boot)/$@
+
 bzImage: vmlinux
 ifeq ($(CONFIG_X86_DECODER_SELFTEST),y)
 	$(Q)$(MAKE) $(build)=arch/x86/tools posttest