Booting a 64-bit kernel on Octeon 58XX eval board fails

[Patrick Mahan]

Warner and Julie,

I built and tried to boot the 64-bit kernel for the Octeon out of the
HEAD sources.  This board still has the Cavium SDK 1.8.1 bootloader.  Here
is the output on the console -

Octeon ebt5800# tftp 0 mahan/kern90.64
Interface 1 has 4 ports (RGMII)
Using octeth0 device
TFTP from server 10.10.29.252; our IP address is 10.10.29.100
Filename 'mahan/kern90.64'.
Load address: 0x20000000
Loading: #################################################################
          #################################################################
          #################################################################
          #######################################################
done
Bytes transferred = 35701417 (220c2a9 hex), 12668 Kbytes/sec

Octeon ebt5800# bootoctlinux $fileaddr coremask=0x0001
argv[2]: coremask=0x0001
ELF file is 64 bit
Allocated memory for ELF segment: addr: 0x100040, size 0xa8
Error allocating memory for elf image!
## Loading Linux kernel with entry point: 0x20000000 ...
Bootloader: Done loading app on coremask: 0x1

Is this due to the 1.8.1 bootloader?

Thanks,

Patrick