replacing MULH by asm for x86