Hello Akshay,
Have you booted OP-TEE on your board?
I just came with another idea. Can you try to zero all OP-TEE memory in u-boot before loading OP-TEE image? I have found that .bss section being zeroed up in late boot stages. That can lead to many funny issues like yours, as C code expects that all global and static variables are initialized to 0.