Re: [Linaro-uefi] [PATCH v3 0/3] (U)EFI runtime services for arm