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.

Reply via email to