Re: [PATCH v1 03/17] tee: Adapt documentation to cover recent additions