kinc: Example kernel include files and syscall.dat
