¿por qué este de $KERNEL no está disponible?