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