Just compiled the gentoo distribution kernel myself with -march=native -O3 -pipe - probably some insignificant performance gain but whatever I guess it's better than the bin which I used until now.