Download binary file, system-kernel-rsmops.pub