Eu não consegui fazê-lo funcionar, mas há uma alternativa brilhante já mencionada por Juan no Grub Customizer para quem procura uma GUI para editar boot e grub.
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update && sudo apt-get install grub-customizer