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

Care to clue me in? I spend my time far, far away from the web dev sphere :p

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.