CrashFixer: A crash resolution agent for the Linux kernel