kinc: The kernel include files
