Ein "dpkg --configure -a" sagt nix, er arbeitet nur kurz, das wars.

Allerdings scheint nach der deinstallation des "Extra Decoders Support" und der neuformatierung der Speicherkarte (die war auf Schreibgeschütz gesetzt worden) alles soweit wieder zu funktionieren.