Re: Problems building kernel