-diff -urNp grub-2.02-rc1.orig/util/grub.d/10_linux.in grub-2.02-rc1/util/grub.d/10_linux.in
---- grub-2.02-rc1.orig/util/grub.d/10_linux.in 2017-02-08 15:07:23.361316569 +0000
-+++ grub-2.02-rc1/util/grub.d/10_linux.in 2017-02-08 15:07:45.006316326 +0000
-@@ -189,10 +189,7 @@ while [ "x$list" != "x" ] ; do
- linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
+diff -ur grub-2.04.orig/util/grub.d/10_linux.in grub-2.04/util/grub.d/10_linux.in
+--- grub-2.04.orig/util/grub.d/10_linux.in 2019-08-18 15:53:40.493000000 +0200
++++ grub-2.04/util/grub.d/10_linux.in 2019-08-18 15:55:25.547000000 +0200
+@@ -211,10 +211,7 @@
+ done