sorry voor de late reactie maar ik had nogal een druk week end.
ook na het handmatig uitvoeren van
sudo dkpg --configure -a
iets na de sanity check cracht het systeem met de kernel bug
ik denk dat de dell vostro een 32 bit laptop is, dit is geen recent geval. Is er een linux command om dat te checken?