-diff -ur grub-2.02-beta3.orig/util/grub.d/20_linux_xen.in grub-2.02-beta3/util/grub.d/20_linux_xen.in
---- grub-2.02-beta3.orig/util/grub.d/20_linux_xen.in 2016-03-21 07:53:03.000000000 +0000
-+++ grub-2.02-beta3/util/grub.d/20_linux_xen.in 2016-03-21 07:54:33.648768000 +0000
-@@ -217,10 +217,7 @@
+diff -urNp grub-2.02-rc1.orig/util/grub.d/20_linux_xen.in grub-2.02-rc1/util/grub.d/20_linux_xen.in
+--- grub-2.02-rc1.orig/util/grub.d/20_linux_xen.in 2017-02-08 15:07:23.361316569 +0000
++++ grub-2.02-rc1/util/grub.d/20_linux_xen.in 2017-02-08 15:07:45.007316326 +0000
+@@ -217,10 +217,7 @@ while [ "x${xen_list}" != "x" ] ; do