...

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?)

You would have to check this with your processor data sheet.