I mean it's right there: "scripts used to control compilation and installation of the executable" If the installer source code is missing the bit that enables

I mean it's right there: "scripts used to control compilation and installation of the executable" If the installer source code is missing the bit that enables installation of the GPL binaries on your device, then I guess it's not in compliance. The fact that the scope of these codes also include device keys seems somewhat irrelevant.