[U-Boot] Problem booting linux kernel due to garbled available machine support

[Dallas Clement]

Hello All,

I'm having a problem booting a linux kernel built with Marvell
buildroot-sdk-6.0 for an Armada XP development board (DB-78460-BP).
The kernel messages indicate that the machine id is not recognized or
not supported, but I believe this is because the available machine
support is all junk.

Marvell>> bootm 0x2000000
## Booting kernel from Legacy Image at 02000000 ...
   Image Name:   linux-3.0
   Created:      2012-08-02  14:04:49 UTC
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    3303200 Bytes =  3.2 MB
   Load Address: 02008000
   Entry Point:  02008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK
Using machid 0xbdc from environment

Starting kernel ...

Uncompressing Linux... done, booting the kernel.

Error: unrecognized/unsupported machine ID (r1 = 0x00000bdc).

Available machine support:

ID (hex)        NAME
00000000        (null)
c000e150        (null)
À á0Ø-é°LââßMâMëP1å  ã
c000e234        ¬õÀ
À á0Ø-é°Lâ

Please check your kernel config and/or bootloader.

These are the machine types in my kernel config which should be
showing up in the available machine support, but for some reason is
garbled.

[dallasc /development/dallasc/TS-3400/buildroot-2011.05-sdk6.0/output/build/linux-3.0.6]
grep '^CONFIG_MACH' .config
CONFIG_MACH_ARMADA_XP_DB=y
CONFIG_MACH_ARMADA_XP_RDSRV=y
CONFIG_MACH_ARMADA_XP_RD_NAS=y

[dallasc /development/dallasc/TS-3400/buildroot-2011.05-sdk6.0/output/build/linux-3.0.6]
grep MACH_ARMADA arch/arm/tools/mach-types
armada_xp_fpga             MACH_ARMADA_XP_FPGA
ARMADA_XP_FPGA                       528
armada_xp_db                 MACH_ARMADA_XP_DB
    ARMADA_XP_DB                             3036
armada_xp_rd_nas        MACH_ARMADA_XP_RD_NAS
ARMADA_XP_RD_NAS                 3500
armada_xp_rdsrv            MACH_ARMADA_XP_RDSRV
ARMADA_XP_RDSRV                     3037

It looks like the DB-78460-BP board is identifying itself as
0x00000bdc = 3036, which corresponds to the armada_xp_db.

Does anyone have any suggestions on how to debug the cause of the garbling?

Thanks,

Dallas