AMD64 and grsecurity