For those of you interested in arm kernels, the rawhide kernel nodebug
repository now includes non debug versions of arm rawhide kernels.
Details on how to access the repository can be found at:
http://fedoraproject.org/wiki/RawhideKernelNodebug
Justin