Download binary file, hs_kernels.bin