I don't agree, I think the license doesn't matters at all for users. And there really aren't that many companies distributing Linux, such that they would need to comply with the GPL. Google can make all the patches they want for their servers. The only reason for them to contribute them back is to offload the maintenance cost.

As with most things, I think Linux succeeded because it was a worse-is-better clone of existing systems that happened to get lucky.