add 32-bit and no-asm support for redc_64
add 32-bit and no-asm support for redc_64

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs