[PATCH v4 08/25] doc: efi: Add the EFI-loader API documentation