Comment # 22 on bug 1193064 from Artyom

I installed all .rpm's
> rpm -qa | grep gafe3127
kernel-devel-5.15.5-1.1.gafe3127.noarch
kernel-default-devel-5.15.5-1.1.gafe3127.x86_64
kernel-default-5.15.5-1.1.gafe3127.x86_64
kernel-source-vanilla-5.15.5-1.1.gafe3127.noarch

I seems still no result

grub.cfg:
        linuxefi /boot/vmlinuz-5.15.5-1.gafe3127-default
root=/dev/mapper/system-root  ${extra_cmdline} splash=silent quiet
mitigations=auto
        initrdefi       /boot/initrd-5.15.5-1.gafe3127-default

(automatically generated by first rpm file, which is
kernel-default-5.15.5-1.1.gafe3127.x86_64.rpm)