Hello World UART output garbled on Alveo U25

Following the Zynq UltraScale+ MPSoC Embedded Design Tutorial, I built and deployed the Hello World application on the Alveo U25. The board boots via JTAG, and the application builds successfully in Vitis, but when running it, the UART output appears completely garbled despite trying different baud rates. Any idea how to see the output ? The same issue happens with PetaLinux. 