Re: Grub boot menu after kernel update/install