Start writing C headers, add kernel-headers target