Re: [PATCH v2 01/14] firmware: scmi: optee: use TEE shared memory for SCMI messages