[Tee-dev] OPTEE-OS: Initialization of thread's core_mmu_use_map?