@Agostino As you can see here https://answers.edge.launchpad.net/ubuntu/+source/grub2/+question/91579 this patch fixes the problem.
@Agostino /answers. edge.launchpad. net/ubuntu/ +source/ grub2/+ question/ 91579
As you can see here
https:/
this patch fixes the problem.