[Tee-dev] Newbie questions about OP-TEE