Re: [PATCH RFC 3/4] doc: uefi: document dynamic GUID generation