make the Kernel leaner