pca006132/zynq-rs:master
master
The TRM mentioned that user should stop the clock, de-assert the reset, and then restart the clock for core reset. This fixes the kernel restart problem in one of the zc706 board.