Re: [PATCH v7 resend 1/2] Provide in-kernel headers to make extending kernel easier