> that the setenv-android.sh script doesn't account for 64 bit architectures.
Correct. The current FIPS module has not been modified for quite some time, and your platform is not supported. If you cannot follow the steps *exactly* you cannot claim FIPS validation. The OpenSSL project is working on a new FIPS validation for the next release, but it will only support a few platforms (those of the sponsors funding the work, mainly). Whichever release you use, you will have to hire a lab to get your own validation, or hope that a vendor provides one.
