"These statistics obviously cover just the kernel. The Linux environment is much larger than that..."

Being strict, actually isn't Linux just a kernel? Just being a BSD troll.