Re: [U-Boot] [PATCH] efi.h: Do not use config options