Comment # 4 on bug 1068793 from Vadim Krevs

thor:/tmp # rpm -qa  | grep kernel | sort
kernel-default-4.13.11-1.2.x86_64
kernel-default-4.13.12-1.1.x86_64
kernel-default-devel-4.13.11-1.2.x86_64
kernel-default-devel-4.13.12-1.1.x86_64
kernel-devel-4.13.11-1.2.noarch
kernel-devel-4.13.12-1.1.noarch
kernel-docs-4.13.12-1.1.noarch
kernel-firmware-20171009-1.1.noarch
kernel-macros-4.13.12-1.1.noarch
kernel-syms-4.13.11-1.2.x86_64
kernel-syms-4.13.12-1.1.x86_64