Eu resolvi o problema. Eu olhei para o histórico do apt-get em /var/log/apt/history.log e então sudo apt-get removei linux-signed-image-3.13.0-117-generic: amd64. Basta procurar a versão assinada e removê-la.
Durante a tentativa de resolver um problema separado, eu executei comandos para instalar o 'linux-image-generic' e 'linux-signed-image-generic', que acredito ter instalado uma nova imagem do kernel. Eu fiz isso sem pensar.
Agora, quando eu tento inicializar, há um kernel panic e eu tenho que ir para o grub- > old kernels- > 3.13.0-117-generic, que funciona. O kernel que não funciona e agora é o padrão para o grub, é 3.13.0-117-generic-efi-signed. Como faço para remover este kernel? Estou tentando ser cuidadoso para não neutralizar os trabalhos. É provavelmente insensato apenas sudo rm o arquivo vmlinuz ... efi.signed de / boot?
Eu resolvi o problema. Eu olhei para o histórico do apt-get em /var/log/apt/history.log e então sudo apt-get removei linux-signed-image-3.13.0-117-generic: amd64. Basta procurar a versão assinada e removê-la.
Tags boot linux grub linux-mint