Re: question re. kernel licenses