[$] Building header files into the kernel

Kernel developers learn, one way or another, to be careful about memoryuse; any memory taken by the kernel is not available for use by the actualapplications that people keep the computer around to run. So it isunsurprising that eyebrows went up when Joel Fernandes proposed buildingthe source for all of the kernel's headers files into thekernel itself, at a cost of nearly 4MB of unswappable, kernel-space memory.The discussion is ongoing, but it has already highlighted some pain points felt by Androiddevelopers in particular.