bn/asm/x86_64-mont5.pl: fix carry propagating bug (CVE-2015-3193).