Linux is easily the most used OS for servers. Linux has been at the top for awhile, just because the consumer doesn't run the OS natively doesn't mean that they are not using Linux machine. I disagree that google "propelled" linux to the top.
http://en.wikipedia.org/wiki/Usage_share_of_operating_system... (look at the second, smaller table)