Hi Aik,
I found that the dev kit uses a UEFI bootloader on its SD card image and that explains why there was no u-boot-splx4.sfp file on it. I carefully followed the steps for building the SD card image components on the Rocketboards website. I was able to successfully build all of the image components. I wasn't able to create the SD card image file though due to a python script error when trying to create a FAT32 filesystem. I'm still trying to resolve that problem. I have attached that error log in case someone knows the fix for that issue.
That problem with making the image file is not holding me up though. I was still able to test the spl and uboot components that I built, loading them with the debugger, but I got the same memory access error. I now suspect there is something wrong with by Ubuntu build environment that could be causing the u-boot issues I am seeing. I am in the process of reviewing my build environment setup to see if I missed something. I will post my findings later today or tomorrow.
Thanks,
Richard