Re: [TF-A] TF-A warm reboot question