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