[realgmk]

ELRepo has upstream kernels for all Enterprise Linux compatibles.

Also, the Rocky Linux SIG/Kernel group may even provide an alternative ISO(s) with those upstream kernels at periodic intervals. If you (or anyone else) is interested in helping with that, jump into https://chat.rockylinux.org and join that special interest group.

SHAMELESS PLUG: CIQ (my company) also has an upstream optimized kernel that we support provided via Mountain (our operating system delivery platform).