[PATCH 1/2] Provide in-kernel headers for making it easy to extend the kernel