You don't have to use the one specifically for your system, just the same OS. If you are running Windows 10 x64 repair it with a Windows 10 x64 disc. Microsoft has a media creation tool you can use to download an ISO that will work for the purposes of repairing the boot.