kernel-x86_64-automotive-debug-rhel.config