linux-4.2: remove as it's no longer maintained upstream

grsecurity still holds a reference to it,
but I prefer it to fail than to use a version
that is most likely not secure anymore.