kernel-x86_64-rt-rhel.config