Where is it stated in the GPL that patches (internal intermediate results) must be published?
AFAIU, the source must be published, but not the internal commits that lead to that source. And the kernel source is published, as srpm.
FTR: I'm neither connected to RH, nor do I use RHEL or Oracle's dist privately or at my company. I think RH's policy concerning kernel source distribution is ethically wrong, but not illegal.