Companies that follow the law will release their changes to the Linux kernel when they distribute their products to users.

Just using Linux is not enough to say anything built with it is a combined product in the eyes of the GPL, the license is pretty specific about what it considers a derivative work.

For example, you can ship closed source apps and OS on top of Linux so long as you respect the license.