OK, here's the situation:
The caller invoked board_init(), but instead of returning to the caller, board_init() loaded R0 with #0, and the BX instruction FELL THROUGH! You can see R14 has 0x402061D8 in it, and that the PC currently holds 0x40202154, the instruction following the BX.
The instruction that got us to board_init was a "BL board_init" Can someone PLEASE give me an idea why this is failing? This is not the original x-loader code, I've had to modify it slightly to investigate the processor's behavior. Previously, I got the exact same behavior with the function pointer table you can find in board.c in the am3517evm directory.
Thanks,
Matt