--- xen-4.8.0/xen/Makefile.orig	2016-12-05 12:03:27.000000000 +0000
+++ xen-4.8.0/xen/Makefile	2017-02-28 00:02:54.080529810 +0000
@@ -20,6 +20,7 @@
 MAKEFLAGS += -rR
 
 EFI_MOUNTPOINT ?= $(BOOT_DIR)/efi
+EFI_VENDOR=fedora
 
 ARCH=$(XEN_TARGET_ARCH)
 SRCARCH=$(shell echo $(ARCH) | sed -e 's/x86.*/x86/' -e s'/arm\(32\|64\)/arm/g')