I finally got my Jetson TX2 NXes flashed, but none of the fans on my heatsinks are spinning. I tried using pwmconfig to just turn them on, but there are no temp monitoring modules detected. I installed a sensor package for Ubuntu, but that didn't do anything. I also followed the guide in the docs on the Turing Pi site, but that didn't work either. Anything else I should try?