meanwhile kotd repo gave me another 4.7 rtm update but still not installed as default: rpm -aq | grep kernel kernel-default-4.7.0-3.1.ga8847da.x86_64 kernel-default-4.7.0-1.1.g24f30d5.x86_64 kernel-default-4.7.rc7-2.1.g152f160.x86_64 kernel-firmware-20160503-3.1.noarch Apparently inside the grub2 menu, i can select the newer 4.7.0 kernels via the advanced options and they become listed there only the latest kernel is apparently never put as the default to be booted this is new as of the post-rc kernels for 4.7 as I report in this bugreport can i delete the older kernels now and move over to the latest 4.7 keeping only one kernel or are you guys needing my system to stay at this downgraded state? i really like to move on if this bugreport can be worked with even if my system advances to newer kernels. thanks for a short reply on this matter.