Update kernel_server.erl