File grub2-mkconfig-arm.patch of Package grub2.14515
Index: grub-2.02~beta3/util/grub.d/10_linux.in
===================================================================
--- grub-2.02~beta3.orig/util/grub.d/10_linux.in
+++ grub-2.02~beta3/util/grub.d/10_linux.in
@@ -193,6 +193,7 @@ machine=`uname -m`
case "x$machine" in
xi?86 | xx86_64) klist="/boot/vmlinuz-* /vmlinuz-* /boot/kernel-*" ;;
xaarch64) klist="/boot/Image-* /Image-* /boot/kernel-*" ;;
+ xarm*) klist="/boot/zImage-* /zImage-* /boot/kernel-*" ;;
xs390 | xs390x) klist="/boot/image-* /boot/kernel-*" ;;
*) klist="/boot/vmlinuz-* /boot/vmlinux-* /vmlinuz-* /vmlinux-* \
/boot/kernel-*" ;;