bn/asm/x86_86-mont.pl: optimize reduction for Intel Core family.