distro: generate /etc/default/grub in install_menu_lst_grub2.