[Tee-dev] Porting Op-Tee os on ARM cortex A5