You should read the licenses again. It's not $free, and if a corporation distributes a derived work (in any form, source, binary, firmware), then it has to provide the sources and their modifications, and their derived works along, depending on the license, and some other requirements (such as mention of copyright, etc). When you buy a hardware box, often you don't get the sources of the firmware containing the GPL linux kernel in it! That's clear violation of the license terms.