After some silence and in preparation for CCC Camp 2019 where I want to use this board as small FTP server I updated the kernel a bit to 3.16.72 (LTS), information here: https://www.warpcomm.org/ and patch here: https://www.warpcomm.org/downloads/tk71/20190815/linux-3.16.72-tk71.patch
Maybe some time in the future I’ll forward port the stuff to 4.x or 5.x but this is a bit more effort since starting from 4.x everything has to be done through device tree, no board file anymore. I started to do this many months ago but due to my work for Purism I do not have much time for this now.
PS: If you are interested in buying a TK71 with baseboard, I have a couple that I can sell for a good price, just drop me an email and we can figure it out…