then it would be great to have an redhat kernel-patchset, so one can patch an vanilla kernel.org source to the same state as the redhat/fedora kernel.rpm. lars