I just did a build of a new drive for my Odroid HC1. This includes doing a yum update. I see: kernel-tools armv7hl 4.14.91-201.el7 centos-kernel 149 k kernel-tools-libs armv7hl 4.14.91-201.el7 centos-kernel 74 k as part of the update. Is it a problem for kernel tools to be at 4.14 when the kernel is a 4.19?