Re: default kernel and sources