Re: [U-Boot] [U-Boot, v4, 05/14] efi: Makefile: Export variables for use with EFI