Provide in-kernel headers to make extending kernel easier