Comment # 7 on bug 1087261 from Dario Savella

# rpm -q kernel-default
kernel-default-4.4.114-42.1.x86_64
# rpm -q drm-kmp-default
drm-kmp-default-4.9.33_k4.4.79_4-5.2.x86_64
drm-kmp-default-4.9.33_k4.4.114_42-7.1.x86_64
drm-kmp-default-4.9.33_k4.4.120_45-10.2.x86_64

I assume the last one is installed because I did the upgrade and then reverted
back only kernel-default to 4.4.114

Thanks.