Updating tk1 you have to be careful not to mess up NVIDIA’s libglx.so.
The trick is to use:
sudo apt-mark hold xserver-xorg-core
and everything is ok. I could update my packages without corrupting my graphics?
Is this step also necessary for TX1? Or any further steps? The result of a recent ‘sudo apt-get upgrade’ was the need to flash the device…