Re: [Crash-utility] How does crash find booted kernel?