lo dovresti trovare anche sul sito di fedora
la core3 apena uscita dovrebbe averlo

altrimenti anche qui '

http://people.redhat.com/~arjanv/2.6/RPMS.kernel/