Download binary file, system-kernel-platform.pub