No seu caso, acho que três estados:
- Seu
linux-headers-3.8.0-19 deb filefoi danificado. (Nesse caso, você deve reinstalá-lo.) -
Você deve jogar com
apt systemsapós a atualização comdpkg -a --configure, em seguida,apt-get -f dist-upgradeou sua tarefa, talvez:apt-get -f install -
Seu pacote deb tem um bug no postinst, se o estado for verdadeiro, você pode manipular em
/var/lib/dpkg/info/linux-headers-3.8.0-19-686-pae.postinst,