Re: How to copy kernel headers?