Re: [PATCH v4 00/10] tee: shared memory updates