Fixed garbage dump output on AVX2-enabled CPUs.

[SVN r86600]