Until we're able to decide which kernel to make default (e.g with grubby),
pick the most recent one.

Lubomir Rintel <lkundrak@v3.sk>

Index: util/grub.d/10_linux.in
===================================================================
--- util/grub.d/10_linux.in	(revision 1797)
+++ util/grub.d/10_linux.in	(working copy)
@@ -82,23 +82,9 @@
   return $?
 }
 
-find_latest ()
-{
-  local a=""
-  for i in $@ ; do
-    if test_gt "$i" "$a" ; then
-      a="$i"
-    fi
-  done
-  echo "$a"
-}
-
-list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
-        if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
-      done`
-
-while [ "x$list" != "x" ] ; do
-  linux=`find_latest $list`
+ls -c /boot/vmlinu[xz]-* /vmlinu[xz]-* 2>/dev/null |while read linux
+do
+  grub_file_is_not_garbage "$linux" || continue
   echo "Found linux image: $linux" >&2
   basename=`basename $linux`
   dirname=`dirname $linux`