Re: [PATCH v2 3/7] doc: uefi: document dynamic UUID generation