Hello,Can you check if this is a duplicate of [1] and report if the workaround in [2] fixes your issue?
In that case, you may also add a comment to [1] to inform GRUB developers and also [3] so as to inform the Debian maintainer of GRUB.
[1] https://savannah.gnu.org/bugs/?65503 [2] https://savannah.gnu.org/bugs/?65503#comment2 [3] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1088356 Regards
