Comment by microcolonel

> If you distribute binary GPL'd software such as the Linux kernel you also have to provide the exact source used to generate those binaries.

In this case, the kernel source could be unmodified, which could mean that they could just refer you to where they got it.