Update kernel_main.cpp