Hello,
I edited reey script: viewtopic.php?f=49&t=12185 to install ArmArch with mainline on the Jetson TK1.
More info at: https://github.com/LordRafa/ALARMOnTegraK1
Edit: I just published v1.0.2. Now everything should work properly (WIFI/BT/SATA/Audio/Ethernet/etc). Please let me know if anything else fails.