No matches were found for subject:"Bug#977126\: linux\: No armel kernel can be booted by grub\-efi\-arm\:armel"