Linux already has the largest market share because of Android, ChromeOS, embedded devices. The 4% here actually refers to GNU/Linux.