Matan: Yes, i looked at patches, nothing in patches states that it's GPLed.
There are other files included like already patched kernel sources - these are gpled - but alex uploaded the whole thing, including part that may not be GPL licensed (they may as well be, but there is no solid evidence that) .
alexystems: fix your capslock, learn to spell, then learn copyright law (any work is automatically protected by copyright law and original author is only person that has right to distribute it, unless stated otherwise), it's not yours you are merely allowed to use it yourself, or transfer that right to another person. - you could have diffed included gpled source code ( kernel ) and that would create GPLed patches, but that still wouldn't change that it was dick move.