Re: freier linux kernel?