Re: [U-Boot] [U-Boot, v4, 04/14] x86: Tidy up selection of building the EFI stub