Re: [Linaro-uefi] [PATCH V3 01/15] move x86 EFI boot code to common/efi