I am searching for this too... did you found out anything ?
I found out that the systemd started an agetty on ttyS2, but after I have stopped that still nothing
and the 'gpio readall' also shows there ALT mode with GPIOX_X and not UART4_TX/RX... I am stucked