Oh, I forgot to mention that after replacing the line mentioned in comment #8, you've then got to run 'sudo update-grub2'.
Sorry for the double post.
Oh, I forgot to mention that after replacing the line mentioned in comment #8, you've then got to run 'sudo update-grub2'.
Sorry for the double post.