[AVX512] The vpermi2 instructions require an integer vector for the index vector...