Tx2-4 R32.3.1 tegra_pwm6 missing

should be this one, Tx2-4g R32.3.1 pwm@32d0000 configuration fail, right?
you may leave the topic-id or copy-paste http linkage here for reference,
thanks