Delete kernel.cpp