x86inc: Use VEX-encoded instructions in AVX functions