Trying to use UART2, but /dev/ttyTHS1 doesn't exist

Also, there is another dtb file, kernel_tegra234-p3767-0003-p3768-0000-a0.dtb, which has a date stamp form the same day as when I first flashed the boot image. So this appears to be the original. I decompiled it too, but the only tty entry I see is the same.

There are also several others that have time stamps that are the oldest of any files on the drive. I tried decompiling one of those, but it didn’t have an entry for ttyTHS1 either.

It seems like support for ttyTHS1 is missing from the stock image entirely. How do I fix that? Even if there’s a newer image I can get, I’d really rather not have to rebuild everything from scratch right now.