x86_64-mont.pl: futher optimization resulting in up to 48% improvement

(4096-bit RSA sign benchmark on Core2) in comparison to initial version
from 2005.