Gentoo: ATi binary driver vs. grsecurity