Download binary file, system-kernel.pub