Abhishek gsoc

I cleaned up the whitespace and did a short review. It looks good, but I'll request somebody look at the license of exp kernels. zlib is supposedly GPL compatible, and my interpretation is that we can use it as long as we point to the origin. We don't have copyright statements on the other headers, but I suppose we should add FSF and re-license the code in question as GPLv3.