[TF-A] TF-A warm reboot question