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