Physical Jetson Dev kit size TX1 vs TX2

It uses the same carrier board, but some previously reserved pins now have function. Everything which worked on the TX1 carrier board should work with the TX2 without modification.