[Bug 392961] kernel update doesn't remove old entries from grub menu