Re: standard way to extract kernel headers