What about AMD cpus that support AVX?