Parece que a instalação não foi concluída corretamente por algum motivo: especificamente, ela não atualizou a configuração do grub para alterar as opções de inicialização.
Isso não explica o que resolveu o problema, mas parece provável que uma atualização subseqüente tenha finalizado o processo. Você poderia ter executado o grub de atualização para atualizá-lo para a lista de kernels:
sudo update-grub