I just wanted to confirm that Tim's workaround/fix of changing the boot command line in /etc/default/grub works wonderfully!
I just wanted to confirm that Tim's workaround/fix of changing the boot command line in /etc/default/grub works wonderfully!