Which is the main OS that will us CPUs when you count servers. Granted that isn't the consumer CPUs we care about but the work on servers actually trickles down. It isn't some minor group and AMD and Intel are very much concerned about how their CPUs run under Linux.