Re: gcc seg fault on kernel build