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