[Bug 827531] Grub2 version 2.00 Sorts kernel version 3.10-rc7 as a higher release than kernel 3.10