Download binary file, kernel-install