i can't speak for Gunther, but here's what's confusing me.....
the AVX instructions are VEX-encoded
i.e., they use the opcode space of the old LDS and LES instructions
so, let's say you have a 64-bit processor that is AVX-capable (i7, for example)
and you have Windows 7 32-bit installed
it seems to support AVX, at least to some degree
but, some documentation states that VEX may only be decoded in long mode :redface: