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

From: [email-masked] (Jeremy Linton)
Date: Tue, 27 Oct 2015 09:44:30 -0500

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