Hi Norman
Thanks a lot for your help!!!
The memory display command was indeed very useful. I compared the memory on the EVM card with the custom board and there seemed to be an offset for the entry point of the kernel image and filesystem.
Maybe it might have been due to the header wrapped around it.
But anyways after reading the file to RAM at 0xc3000000, I specified the address plus the offset at 0xc3000014 for the bootm command
Thus
sf read 0xc3000000 $K $ks
bootm 0xc3000014
This forum has been indeed very helpful.