Re: Problem building the Pistachio 0.4 kernel