[Tee-dev] [PATCH v4 3/3] tee: add OP-TEE driver