Update Kernel.c

Bueno, esta es una modificacion desde el github