Linux kernel headers for use with C libraries