-diff -ur grub-2.02-beta2.orig/util/grub.d/10_linux.in grub-2.02-beta2/util/grub.d/10_linux.in
---- grub-2.02-beta2.orig/util/grub.d/10_linux.in 2013-12-24 20:53:23.000000000 +0000
-+++ grub-2.02-beta2/util/grub.d/10_linux.in 2015-08-04 11:09:27.932635208 +0000
-@@ -185,10 +185,7 @@
- linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
+diff -ur grub-2.12.orig/util/grub.d/10_linux.in grub-2.12/util/grub.d/10_linux.in
+--- grub-2.12.orig/util/grub.d/10_linux.in 2024-01-09 00:18:44.453971622 +0100
++++ grub-2.12/util/grub.d/10_linux.in 2024-01-09 00:25:52.553521455 +0100
+@@ -223,12 +223,7 @@
+ done