Kernel is GPL, it's a patch against the kernel and it was publicly released. So yes, it is GPL'd.

That's the viral property, you cannot release anything derived from GPL code under a closed license.