A small 32 bit Kernel compiled with Kmpp and mmc