Download binary file, kernel.a