File grub2-mkconfig-arm.patch of Package grub2.15813

Index: grub-2.02~beta2/util/grub.d/10_linux.in
===================================================================
--- grub-2.02~beta2.orig/util/grub.d/10_linux.in
+++ grub-2.02~beta2/util/grub.d/10_linux.in
@@ -203,6 +203,7 @@ machine=`uname -m`
 case "$machine" in
     i?86 | x86_64) klist="/boot/vmlinuz-* /vmlinuz-* /boot/kernel-*" ;;
     s390 | s390x)  klist="/boot/image-* /boot/kernel-*" ;;
+    arm*)          klist="/boot/zImage-* /zImage-* /boot/kernel-*" ;;
     aarch64)       klist="/boot/Image-* /boot/kernel-*" ;;
     *) klist="/boot/vmlinuz-* /boot/vmlinux-* /vmlinuz-* /vmlinux-* \
 		/boot/kernel-*" ;;