Download binary file, inkernel.txt