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