Note: the patch (if #101 is the "right" solution) applies to the package "grub-common" that contains /etc/grub.d/10_linux
Note: the patch (if #101 is the "right" solution) applies to the package "grub-common" that contains /etc/grub. d/10_linux