kernel-x86_64-debug-rhel.config