Re: build using shipped kernel config fails