[Tee-dev] [PATCH v4 preview 4/5] tee: add OP-TEE driver