Richtig. Der von RedHat mitgelieferte
Kernel entspricht nicht dem Standard-Kernel
von kernel.org.

Aber Du kannst selbstverständlich einen
offiziellen Standard-Kernel verwenden;
unter Umständen mußt Du halt dann auf die
herstellerspezifischen Erweiterungen
(keine Ahnung, was RH einbaut; ich habe
sofort einen neuen "offiziellen" Kernel
eingespielt) verzichten.

Ciao
Christoph