Ho riprovato ad installare, sullo stesso disco, e poi a cambiare con un kernel non RT. Ho semplicemente selezionato il secondo della lista (n.1).
Stesso errore.