Es mas recomendable siempre añadir el kernel nuevo al gestor que sustituir el kernel viejo por el nuevo.