i.MX 35 PDK board has 256 MB of RAM, due to a bug in Redboot bootloader compiled for the board effectively there is only 128 MB available.This procedure fixes this bug to be able to use 256 MB of RAM.
1. Download the attached Redboot256.bin file.
2. Flash the new redboot image instead of the old one: Configuring RedBoot