Re: [PATCH 6/6] doc: uefi: Describe UEFI HTTPs boot