[$] Building header files into the kernel

Kernel developers learn, one way or another, to be careful about memory
use; any memory taken by the kernel is not available for use by the actual
applications that people keep the computer around to run. So it is
unsurprising that eyebrows went up when Joel Fernandes proposed building
the source for all of the kernel's headers files into the
kernel 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 Android
developers in particular.