Serial Port device names

@ansonhe97: to which UART device are these Tx/Rx lines on the 4-pin header mapped? I tried using a logic analyzer to evaluate them yesterday, and all I got on the Tx line was this no matter what I tried