added 256bit AVX instructions for mul