Attached in the /etc/default/grub file, and yes I did issue sudo update-grub after editing it to specify GRUB_DEFAULT=saved
Attached in the /etc/default/grub file, and yes I did issue sudo update-grub after editing it to specify GRUB_DEFAULT=saved