* 1. Disable the line setup_ddr2() in your gel file and then boot the
* board using CCS
* 2. Open memory window, set address to 0x80000000, and try to write
* anything to DDR2. You will find that the correct value is not
* displayed in the memory window, which means DDR2 is not ready.
* 3. Load and run the program.
* 4. After the program finishes, write to the DDR2 memory window. You
* should find that the correct value is displayed in the window.