use mulx of Haswell for mul4x1, mul4x4