PCs are like 5% of computing devices. Very important for business offices but not outside of that niche. And mass amounts of servers can be adapted to whatever is cheapest. Google wouldn't insist on AMD64 - they'd port to ARM if ARM was cheaper. And if you do want AMD64, AMD currently makes better AMD64 chips.