[Bug 438742] Grub menu migration select wrong kernel version