Quando ti chiede il boot premi F2 (mi pare) e vedrai l'elenco dei kernel disponibili e le opzioni passabigli...
Raspa un pò lì...