hi, i have successfully loading the redboot into imx51 and imx53.
maybe my exp can help you:
<1> download redboot package, for example, redboot_201003.zip
<2> unpack and find the "tools" folder.
<3> under this folder, you can find mx35's RVD mem init file. --------- ddr2_init.inc & mddr_init.inc
<4> and at the end of *.inc, you can see the loading addr for redboot.bin. and the command that setting PC.
wish lucky.