$ rpm -qa | grep kernel-release-desktop-devel
kernel-release-desktop-devel-4.18.9-4omv4000-1-1.x86_64
kernel-release-desktop-devel-4.19.2-2omv4000-1-1.x86_64
My command is:
# dnf --refresh install kernel-release-desktop-devel-4.19.2-2omv4000.x86_64
FWIW I updated from 4.18.9.
I have kernel 4.18.17 but I did not install its devel.
$ rpm -qa | grep kernel-release-desktop-4
kernel-release-desktop-4.18.17-1omv4000-1-1.x86_64
kernel-release-desktop-4.18.9-4omv4000-1-1.x86_64
kernel-release-desktop-4.19.2-2omv4000-1-1.x86_64