File gnu-efi-fix-armv7-detection.patch of Package gnu-efi

--- Make.defaults.orig	2018-02-01 10:32:41.616449383 +0100
+++ Make.defaults	2018-02-01 10:35:05.964876126 +0100
@@ -75,6 +75,10 @@ ifeq ($(ARCH),amd64)
   override ARCH := x86_64
 endif
 
+ifeq ($(ARCH),armv7hl)
+  override ARCH := arm
+endif
+
 #
 # Where to build the package
 #