Re: [PATCH v2 5/9] Allow efi_loader header to be included always