These requirements apply to the modified work as a whole.  If
        identifiable sections of that work are not derived from the
        Program, and can be reasonably considered independent and
        separate works in themselves, then this License, and its terms,
        do not apply to those sections when you distribute them as
        separate works.

(OK, so _if_ we buy the argument that a module which exists only to be
loaded into the Linux kernel, and which is built against all the Linux
kernel headers isn't a derived work, then that would be OK in itself.)

                         But when you distribute the same sections as
        part of a whole which is a work based on the Program, the
        distribution of the whole must be on the terms of this License,
        whose permissions for other licensees extend to the entire
        whole, and thus to each and every part regardless of who wrote
        it.

(..every part...)

        Thus, it is not the intent of this section to claim rights or
        contest your rights to work written entirely by you; rather, the
        intent is to exercise the right to control the distribution of
        derivative OR COLLECTIVE works based on the Program.

(...collective works...)

        In addition, mere aggregation of another work not based on the
        Program with the Program (or with a work based on the Program)
        on a volume of a storage or distribution medium does not bring
        the other work under the scope of this License.

Now, what you're doing when you combine the binary-only modules and the
kernel together into a distribution or LiveCD is _not_ "mere
aggregation". That's clearly a coherent whole; a collective work and not
just a bunch of stuff which happens to be sharing the same disk.