What the simplified ps7_init does can now be reproduced by the DDRC driver. On the other hand, we are still experiencing crazy Zynq instability issues, so keep the original ps7_init around for debugging. This reverts commit 9fcf9243f2.
9fcf9243f2