kernel-x86_64-rt-debug-rhel.config