Re: [Tee-dev] [PATCH v5 08/10] xen/arm: optee: add support for RPC commands