Simpler deportation from AVX to output vector