standard way to extract kernel headers