They shouldn’t have used Linux in that case because according to GNU, the FSF and Richard Stallman, if you use Free Software under the GPL you are agreeing to the following:
“Free software” means software that respects users’ freedom and community. Roughly, it means that the users have the freedom to run, copy, distribute, study, change and improve the software. Thus, “free software” is a matter of liberty, not price. To understand the concept, you should think of “free” as in “free speech,” not as in “free beer.” We sometimes call it “libre software,” borrowing the French or Spanish word for “free” as in freedom, to show we do not mean the software is gratis.
You may have paid money to get copies of a free program, or you may have obtained copies at no charge. But regardless of how you got your copies, you always have the freedom to copy and change the software, even to sell copies.
As you can see, they are required by the principles of free software to let others distribute it, when without changing a single line of code… Don’t go calling us freeloaders when were practicing Free Software principles.