Update ProcesoKernel.c