The first problem I ran into is that the majority of companies selling pre-built computers do not offer an AMD option (and pre-built is a must. We are not allowed to use grant money to buy all the parts and assemble ourselves, which would have been my preferred option). And when they do, they are often limited in selection and might only be older generation or budget-tier CPUs.
I did eventually manage to find an AMD option that fit our needs and my boss forwarded to billing for approval. We got significant push back with IT recommending various intel machines that they claimed were "better" (although also several hundred dollars more expensive), but were also available through the universities preferred sales partners.
We could probably fight and get them to allow us to purchase what we want (the fact that they have to "allow" it when 100% of our funding is non-university dollars is a separate, ridiculous issue), but honestly, at this point we have probably already spent more staff time on this than the real world differences, even including the micro-code problems, are worth.
I'd bet that a lot of corporate contexts, and even home enthusiast customers, operate on the same momentum: they have always bought intel and so they will continue to buy intel. Even in the absence of some strong belief that intel is "better".