В качестве альтернативы вы также можете использовать удобный grub-customizer:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &
Просто откройте загрузочную запись и отредактируйте ее параметры ядра, как показано на скриншоте ниже: