Use ARM assembly implementations of SHA256 and SHA512 from OpenSSL.