I don’t know if the fan is an issue under these circumstances or not. You will probably need to flash if it won’t boot. If you changed something in the device tree or “/boot” then this could easily cause boot failure until flashed (otherwise there may be something else wrong…hopefully changes in “/boot” or somewhere else caused the boot failure since this is a simple matter to fix with flash).
FYI, if you use the provided micro-B USB cable to the host PC, and then set the Jetson to recovery mode, you’ll know everything is work if the host sees the TK1 via:
lsusb -d 0955:7140
You can normally just use the dtc from your installed system…though another version can sometimes be required the dtc normally does not even care about architecture (e.g., I can use my Fedora x86_64 PC desktop to work with dtb files from a TK1, TX1, or TX2). On a TK1 you can install via:
sudo apt-get install device-tree-compiler
(plus the kernel source always has its own copy)
When you download a file permissions have to be set. It wouldn’t matter if the file is there or not, you’d still need to use the correct chmod command. Sometimes when files are in zip or tar format they can unpack with everything executable, but this too does not make a file executable if it isn’t already the right file type…it is best to expect to use chmod on everything you get from a web URL. I’d suggest just delete the dtc which comes with the download and use the apt-get tool to install dtc. Then it should work.
You can see “man chmod” for a brief explanation. Realize chmod can only work on files you own unless you use root (via sudo), but if you wanted to set a file as executable and it is in the directory you are in then this makes it executable for the user provided the file is capable of being executed (I’ll use dtc as an example):
chmod u+x dtc