Linux kernel derived code means src code generated through modification of the Linux kernel src code released under GPL. It is perfect okay not to release a loadable kernel module, say certain proprietary driver, which is not generated through modifying existing kernel code. I had involved project like that before. Code created on top of Linux is not restricted by GPL.