Description: Ignore Xen EFI hypervisor executables
 Xen puts xen*.efi files into /boot along with the xen*.gz files. The EFI
 files cannot be run via grub. So do not build menu entries for those.
Author: Stefan Bader <stefan.bader@canonical.com>
Forwarded: no

Index: grub2-2.02~beta2/util/grub.d/20_linux_xen.in
===================================================================
--- grub2-2.02~beta2.orig/util/grub.d/20_linux_xen.in	2016-03-07 11:18:07.000000000 +0100
+++ grub2-2.02~beta2/util/grub.d/20_linux_xen.in	2016-03-07 11:32:43.101667203 +0100
@@ -174,6 +174,7 @@ file_is_not_sym () {
 }
 
 xen_list=`for i in /boot/xen*; do
+        if $(echo $i|grep -q '\.efi$'); then continue; fi
         if grub_file_is_not_garbage "$i" && file_is_not_sym "$i" ; then echo -n "$i " ; fi
       done`
 prepare_boot_cache=