Odyssey X86J4125 v2 Serial Debug?

The Odyssey X86J4125 v2 does not have a serial debug?
The 40-pin header Raspberry Pi like UART pins does not work to access Linux console for example. I saw that there is some pinout about serial UART but only for v1. Someone could tell me if there is a serial debug UART pins in v2, or if this is only possible through the 40 pin header?

ok, I find out a solution. On the BIOS you should select the GPIO/UART to UART0. With this selected you have the ttyS0 as debug serial, at least for Linux

Probably the admins limited the OP to mark their own answer as a solution, so I can not do it…