RHEL7, grub2-mkconfig causes system to boot unpatched release kernel