3.7.0-0.rc6.git1.1.fc19 in the rawhide nodebug repo looks to be a debug kernel based on the rpms in that repo. (It also appears to have the performance issues of a debug kernel.)