Re: Problem in configuring the kernel