Use RS232 on a Forecr carrier board with Jetpack 6.0

I just figured it out. The correct port should be/dev/ttyTHS3 instead of /dev/ttyTHS1 as mentioned in the documentation.