Problem in configuring the kernel