[Hafnium] Re: optee_benchmark found optee_os function vm_set_ctx() spent much time