A documentação neste caso está errada. Todas as variáveis em /etc/default/grub começam com GRUB_ , portanto é GRUB_DEFAULT=saved , não DEFAULT=saved . Eu corrigi o wiki do Ubuntu para refletir isso.
O manual oficial do grub descreve isso corretamente: link
Coloque o seguinte em /etc/default/grub :
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
Em seguida, execute:
sudo update-grub