Re: adding a kernel parameter permanently?