Cita:
Iniciado por Pernito (...) no sabía como acceder al nombre exacto del kernel anterior, por eso mismo fue que dejé el espacio (...)
Para saber la versión del kernel que estás usando en este momento, puedes usar el comando:
O para ver todos los kernels instalados: