I can help you out with that. Just follow these steps to recreate the problem on your EVK board. Start by ensuring the board is correctly connected and powered up. Next, carry out the exact actions that seem to be causing the issue. Pay close attention to any error messages or weird behavior that pops up. Once you've covered that, shoot me a detailed rundown of the problem and walk me through the steps you followed. If you run into any snags or need more support, feel free to give me a shout.
Power and clock management are accompanied with an appropriate reset generation and distribution system, centralized functions of which are implemented by the System Reset Controller (SRC).
I suggest you take a look on Chapter 51 System Reset Controller (SRC) and Chapter 27 General Power Controller (GPC) of reference manual for more details.
