Re: [SLE] Can't compile latest Mantel kernel