Hello Bogdan,
after further investigations it turns out that the PS_REF_CLK(pin24, IC67), that is supposed to be 33MHz frequency, is actually 26MHz approx.
That would explain why both UART are not properly recognized by PCs/other devices.
Do you have any clue about it?
Best Regards,
Fabio