Merge pull request #4948 from gilles-peskine-arm/muladdc-amd64-memory-2.16

Backport 2.16: Fix x86_64 assembly for bignum multiplication