Kernel headers and gcc pass 1