Check if the installed distro is 64-bit #2
Description
The repo only offers RPMs for 64-bit systems; if the system is 32-bit, might as well fail out at the beginning rather than leave the user to try to puzzle out why the RPM wasn't pulled from the repo.