> while at the same time hosting all of their services on different flavors of Linux.

That linux uses GPL is entirely irrelevant to the vast majority of uses of it. What hosting services are customizing their kernels with proprietary code?