math/cryptominisat: Unbreak on aarch64.
PR: 229724 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor)