Re: F10 - kernel build problem