AVX-512: Concat 4 128-bit vectors in one 512-bit vector.