Aha, eu mesmo encontrei a solução! O que eu fiz foi que eu reiniciei a partir de um live USB e reparado grub (de acordo com este guia ), como notei que a linha em a mensagem gerada por sudo dpkg --configure -a
, ou seja, Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.
, e isso me fez pensar no que aconteceria se eu consertasse o grub. Depois de inicializar de volta no Ubuntu no meu HDD, eu corri novamente o sudo dpkg --configure -a
e ele instalou o novo kernel no que parecia ser menos de um minuto.