Yeah, if you had experience with their Jetson boards, you'd know Nvidia is not well regarded for their OS support.

TK1 support stopped after under 4 years. Basically they released it with some version of Ubuntu (14.04 LTS) and never upgraded it.