¿Qué es y para qué sirve el kernel?