I have never used RedHat's auto update thing, but why not try downloading the source for the kernel and configuring and compiling it yourself? It's a good thing to try so that you can learn to customize the system. The "vanilla" sources that are on kernel.org will work fine in RedHat, it doesnt need a special kernel or anything.