Looks like the bug is in the grub package, in the shell script update-grub.
Attached is a patch that fixes this problem.
Looks like the bug is in the grub package, in the shell script update-grub.
Attached is a patch that fixes this problem.