Can you write something to to serial by using the BDI probe directly

(e.g. writing to 0xe0004500 or whatever your offset is)?

Good idea. But which offset? (Where does u-boot put the buffers?)

If you can get some output that way, then it'll be something with your

U-boot port or some configuration register on the processor (still figuring that out too).

-JM