[PATCH] doc: describe UEFI measured boot