Update kernel.cpp