Serial Port device names

also… what are the rx/tx pins tied to that are next to the 28 pin header? they don’t seem to be tied to ANY serial port either any of the arduino pins or any of the linux serial device names - outlined in red dotted line