[Bug 792634] New: grub1 menu.lst points to old kernel