GPL2 already has this: > For an executable work, complete source code means all the source code for all modules it contains, plus any associated interface defi

GPL2 already has this: > For an executable work, complete source code means all the source code for all modules it contains, plus any associated interface definition files, plus the scripts used to control compilation and installation of the executable. My amateur understanding is that the major kernel copyright holders are essentially comfortable with Tivoization and aren't looking to rock the boat with a lawsuit.