[Linaro-open-discussions] SCMI server in TEE