I can imagine that switching from Intel to AMD takes a bit of time for servers, as supporting 2 architectures at the same time is usually bad news for 99%-ile latencies for web services. At the same time x86 is a mature instruction set (as long as you don't use 512 bit vectorization, where things are getting tricky), so the transition shouldn't be that hard.