I wouldn't be surprised if Red Hat back-ports that code to 3.10 at some point. The RHEL kernel is very very different from a stock vanilla kernel and contains a whole lot of backports from newer kernels.
Originally Posted by Ericg
It is based on F19, and it has some stuff from F20, like improved classic mode for example. Classic mode in F19 didn't have right clicking on panel icons, F20 and RHEL7 have it.
Originally Posted by michal
F19 came with 3.9 kernel and later updated to 3.10 and then to 3.11. I know because it crashed my NVIDIA drivers. So the kernel in RHEL7 is actually newer than stock Fedora 19.