Hi Ashokk,

I believe if you replace the command,

"bootelf 0x10000000" with
"go 0x10000000",

That should be all that's needed to boot a raw binary image -- lemme know how things go though~

-- 
Kofi Doku Atuah
Kernel engineer
DATA61 | CSIRO