Alterar Kernel Boot Prioridade - Ubuntu

Hello Everyone! Hoje estive instalando um novo kernel boot para ter maior performance, por engano instalei a versão errada. Dei reboot e o host não ligou. Qual kernel personalizado eu uso: https://xanmod.org/#main_features Step 1 - Correção do Boot p...