Femke en Pjotr, hartelijk dank voor jullie uitleg, ik heb nu wel de laatste kernel-versie
onder Mint 13.
PS. Alleen "autoremove" was bij mij niet zo verstandig. Het haalde alle i386 libraries weg
en googleearth. Maar dankzij een goede backup haalde ik de rootpartitie zo weer terug.
(met "restore" )