Hi,
problem happens because update-grub does localization of the menuentry
of grub.
I solved this problem editing /etc/default/grub.d/xen.cfg in order to
also do the localization of the default menuentry.
Patch is attached.
Best regards,
Claudemir
--- xen.cfg.orig 2017-06-19 18:51:48.380613631 -0300
+++ xen.cfg 2017-06-19 18:52:24.195343756 -0300
@@ -50,5 +50,5 @@
XEN_OVERRIDE_GRUB_DEFAULT=1
fi
if [ "$XEN_OVERRIDE_GRUB_DEFAULT" = "1" ]; then
- GRUB_DEFAULT="Debian GNU/Linux, with Xen hypervisor"
+ GRUB_DEFAULT="$(gettext_printf "%s, with Xen hypervisor" "Debian GNU/Linux")"
fi
