Memory footprint reduction

Hi all,

I've just committed a patch in the VM that reduces the (uncompressed) kernel by roughly 3Mb.
This is a nice beginning, but I think the kernel image is still far too big (26Mb).
If anyone has ideas to further reduce the kernel size, please report them.

Ewout