¿Cómo saber en qué núcleo se cargó el sistema operativo?