Re: [Linaro-uefi] [edk2] PE/COFF machine type for ARM V7 binaries