Re: Problem : patching the kernel