Después de ejecutar Update Manager, apareció una ventana de debconf (titulada "Configuración de grub-pc"), que me solicitó que seleccionara el apropiado GRUB install devicespara mi sistema. No he realizado cambios en grub o en el sistema de archivos recientemente, y no recuerdo qué opciones...