Download binary file, kern_head.h.tmp