cleanup first working version of Kevoree MicroKernel :-)