-diff -ur grub-2.02-beta2.orig/util/grub.d/20_linux_xen.in grub-2.02-beta2/util/grub.d/20_linux_xen.in
---- grub-2.02-beta2.orig/util/grub.d/20_linux_xen.in 2013-12-24 20:53:23.000000000 +0000
-+++ grub-2.02-beta2/util/grub.d/20_linux_xen.in 2015-08-04 11:10:18.928635208 +0000
-@@ -213,10 +213,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