SERVER-16454 do not run replset/index_restart_secondary.js on 32-bit builders