[Scmi-dev] SCMI server in TEE