cleaned kernel.h