On CECH-25xx/JSD-001 the pins 78 and 79 of the "80-pin PCI connector" are directly connected to syscon SW2-303 UART pins 78 and 79. See [1]