[Bug 252938] Latest kernel update messes up GRUB menu entries