The first post now contains version 1.4. This includes all the header files for codesourcery arm-linux-gcc, and all the linux header files for kindle gpl source version 5.1.0. The installer script also adds a symlink for the math library if missing (at least in firmware 3.3).
Most importantly for some, it includes the eink header files that I use in many of my C demo programs. Before now, you had to download the GPL source code from amazon yourself to extract these header files. I did that for you.