Re: [Tee-dev] [PATCH v5 07/10] xen/arm: optee: add support for arbitrary shared memory