Chan-Ho Suh respondeu isso em um comentário :
% bl0ck_qu0te% Para descomentar uma linha em um arquivo de configuração como /etc/default/grub - que é o arquivo a ser modificado nessa situação - remova # no início.
Após modificar /etc/default/grub , o comando sudo update-grub deve ser executado para aplicar as alterações.