Re: [Tee-dev] [PATCH v2 09/13] optee: add support for arbitrary shared memory