Update ssl_engine_kernel.c