compilation error with grsecurity patch to Debian kernel