Re: [TF-A] Debugging a lock-up in opteed_system_reset