submited https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996003
to solve this issue. It is a backport from a patch accepted upstream at GNU grub2.
submited https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996003
to solve this issue. It is a backport from a patch accepted upstream at GNU grub2.