Avoid SSE-coded instructions, prefer VEX-coded instructions if AVX is available

[soc]

This is due the high cost of mixing SSE and AVX instructions, see https://john-h-k.github.io/VexTransitionPenalties.html.