Pues en teoría tiene que estar ya instalado, a mi m funciono así. Aunque no sabría decirte si ya estaría instalado, más que nada, porque un kernel no es una cosa que se pueda apreciar a simple vista si ha cambiado o no. Toqueteala un poco haber si va algo mejor en fluidez y estabilidad.
De todas formas, no se si habrá algun sitio donde mirar la versión del kernel instalada. Yo lo probaría, pero me he pasado ya a la última versión del firmware, así que no puedo confirmarte nada.
Un saludo!
