> ( though Oracle never duplicated the RHEL kernel )

Doesn't Oracle ship both the RHCK (a duplicate of the RHEL kernel) and the UEK (their own kernel)?