Grub boot menu after kernel update/install