AVX-512: Use correct extract vector length.