Because they are distributing GPL'd software they also have to at least offer the exact source they used. If they are using an unmodified kernel, giving users a link to a git tag would satisfy this.

In practice, every embedded use of Linux I've seen has included at least some modifications.