Update Kernel.cpp