[Tee-dev] OP-TEE supports only SMP system ?