There are several kernel modules that include a "license=GPL" string. But some of them are not included in the GPL_TNAS_X86/linux-4.0 directory. I would be particularly interested in the led_drv.ko module.