Download binary file, system-kernel-cpu-counters.pub