AGX ORIN UART2_RX(C56) UART2_TX(C58) can use for uart(serial)?

Is this the corresponding dts? serial@3140000
image

image