Actualizacion de Kernel.c