Delete kernel.h