Re: [PATCH 07/14] efi_loader: Add config option to indicate fmp header presence