That sounds like more effort than just… writing the code.

Yeah, there really isn’t any reason to go with one processor brand over the other. Since drivers and such aren’t a concern (like with GPUs) most people just pick whichever one has the most price-effective offering in the spec range they’re looking for.