Re: [PATCH v3] doc: describe UEFI measured boot