Hi!
If the GPLed source code (the Kernel in this case) has been modified, then they're obligated to distribute the source code of the modified version, along with the GPL terms and EULA.
Since the GPL copyright is a "virical" type of license, all the works/modifications made off that source...