kernel-x86_64-rhel.config