Re: [PATCH] doc: describe UEFI measured boot