Re: [Linaro-uefi] [PATCH 0/8] Updated EFI support for 32-bit ARM