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

[Jeremy Linton]

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).