It sounds like they're only counting SALES of Linux machines - e.g. bought at Dell or whatnot. I'd assume that means the true 80% number of Linux machines that exist is very difficult to determine. Most of the servers at my company (40+, plus a TON of VMs) are Linux and I'd bet most companies that manage large farms of servers are similar.