Thanks Matt!! This solved it.

And yes, the branch is thud-l4t-r32.3.1.