Após executar o Update Manager, uma janela do debconf (intitulada "Configurando o grub-pc") apareceu, exigindo que eu selecionasse o apropriado GRUB install devicespara o meu sistema. Não fiz alterações no grub ou no sistema de arquivos recentemente e não lembro quais opções selecionei na última...