--- util/grub.d/10_linux.in
+++ util/grub.d/10_linux.in
@@ -93,7 +93,7 @@
   echo "$a"
 }
 
-list=`for i in /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
+list=`for i in /boot/kernel-* /boot/vmlinu[xz]-* /vmlinu[xz]-* ; do
         if grub_file_is_not_garbage "$i" ; then echo -n "$i " ; fi
       done`