Re: Reporting kernel building docs problems?