Use ttyTHS3(UART1) as Serial UART in Jetson TX2 NX

according to Topic 169568, it is supported to development with Jetson TX2 NX on the Jetson Xavier NX devkit carrier board.