Re: exporting kernel headers via the include/uapi directory