Re: [PATCH v5 07/23] doc: efi: Add the EFI-loader API documentation