Попробуйте установить grub-customizer (руководство по установке ниже) к вашей системе Ubuntu. Этот инструмент графического интерфейса предоставит вам хороший набор параметров, с помощью которых вы можете настроить параметры GRUB, включая имена и порядок параметров загрузки, систему по умолчанию, разрешение экрана, шрифты, фон и т. Д. ... Я не уверен, имеет ли он способность задавать то, что вы хотите, но по крайней мере это может показать вам номера os.
Как установить grub-customizer:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
(source: launchpad - daniel richter)