Debian stretch (what will become Debian 9 next year) has support for the Jetson TK1. If you want to install unmodified Debian on your Jetson TK1, now is your chance.
The Jetson TK1 is supported in Debian’s installer and kernel upgrades are handled seamlessly.
What doesn’t work:
If you want to install Debian on your Jetson TK1, please check out the instructions: https://wiki.debian.org/InstallingDebianOn/NVIDIA/Jetson-TK1
If you run into any problems, you can post your reports here, although you’ll get better responses on the Debian ARM mailing list: https://lists.debian.org/debian-arm/