Upon a reboot of my Jetson TX2 developer kit, my external mouse and keyboard stopped working and seemed to be frozen. At that point, I decided to restart the system. After restarting, the HDMI port no longer worked and has not worked since although the board was clearly powered on. At this point, I decided to reflash with the latest jetpack for the TX2 jetpack 3.3 and was able to ssh into the machine. After the reflash the HDMI port will still not work and when i2cdetect is run for bus 0 none of the preregistered UU devices come up and the detector is very slow. Any suggestions?