-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-02-28 02:07:41.000000000 +0000
-+++ grub-2.02-beta3/util/grub.d/20_linux_xen.in 2016-03-21 07:46:19.225768000 +0000
-@@ -208,7 +208,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:03:12.814319390 +0000
++++ grub-2.02-rc1/util/grub.d/20_linux_xen.in 2017-02-08 15:03:25.070319252 +0000
+@@ -208,7 +208,7 @@ while [ "x${xen_list}" != "x" ] ; do