[PATCH v4 3/3] arm64/efi: isolate EFI stub from the kernel proper

[Ard Biesheuvel]

On 27 October 2015 at 23:44, Jeremy Linton <jeremy.linton at arm.com> wrote:
> On 10/26/2015 09:20 PM, Ard Biesheuvel wrote:
>>
>> Thanks for the report. The following patch should fix it
>
>
> Ard,
>
> Thanks, it does fix the build problem...
>
> Now to get the darn thing to boot (not related to this AFAIK).
>

Catalin,

Would you like me to resend this as a separate patch?

-- 
Ard.