Re: kernel core files on disk?