Re: Why kernel source is not in Distribution that is installed