Please be more precise. What is being made harder?
"You'd like the RHEL kernel to be distributed in your preferred form "for modification of something else", and that's not a right that the GPL grants you."
RHEL's kernel is not an independent work from the Linux kernel, be it the latest drop of the 2.6.32 kernel or some other variant. If it were, Red Hat Software, Inc. could just slap their copyright notice on the whole thing and tell everyone else to get lost.
Both of the things you are talking about are the Linux kernel, copyright 1991-2011 Linus Torvalds et al.
The Linux kernel is "the Work" under the terms of the GNU GPL.
The Linux kernel is not a "something else" when compared to the Linux kernel.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds