[TF-A] Re: Make TF-A (bl31) (El3 firmware) preemtible