Hi Ramon,

I can't help with the specific messages. That said from my experience with doing similar thing on the Macchiatobin board (https://docs.google.com/document/d/1gSbeZ8rNr5Il3ioC640Jt-ZVG6CE3ZOZBeGb9IfSJTQ/edit?usp=sharing) that many memory map things have to be carefully adjusted in addition to making sure that BL33 is called with x0=DTB (Linux ABI).

Good luck