[Hafnium] Re: optee_benchmark pmccfiltr_el0