File grub2-use-rpmsort-for-version-sorting.patch of Package grub2

diff -urN grub-2.02~beta2.old/util/grub-mkconfig_lib.in grub-2.02~beta2/util/grub-mkconfig_lib.in
--- grub-2.02~beta2.old/util/grub-mkconfig_lib.in	2014-04-11 15:20:42.451394845 +0200
+++ grub-2.02~beta2/util/grub-mkconfig_lib.in	2014-04-11 15:58:02.940618803 +0200
@@ -229,7 +229,7 @@
     version_test_numeric_a="$version_test_numeric_b"
     version_test_numeric_b="$version_test_numeric_c"
   fi
-  if (echo "$version_test_numeric_a" ; echo "$version_test_numeric_b") | version_sort | head -n 1 | grep -qx "$version_test_numeric_b" ; then
+  if [ "`printf '%s\n' "$version_test_gt_a" "$version_test_gt_b" | /usr/lib/rpm/rpmsort -r | head -n1`" = "$version_test_gt_a" ] ; then
     return 0
   else
     return 1