La soluzione era proprio quella, basta un doppio click e si installa: non sapevo che il kernel si potesse installare così!
In ogni caso alla fine l'ho installato, ma quando faccio il login mi fa schermo bianco e torna al login..