10-13-2019, 01:28 PM
I actually had tried that, but holding either left or right shift on boot did not get me to the selectable grub menu, grub would still show, but just showed the old kernel as it auto loaded. I ended up having to modify the "etc/default/grub" directly and run a "sudo update-grub" to get things working.