> I still have a bad boot menu. I tried the grub-install command but that did > not fix the menu. Any suggestions on how to get the boot menu to show the > correct kernels? Try "sudo grub-mkconfig -o /boot/grub/grub.cfg". I believe that should do the trick. If not, something's weird.