@jolo ik heb die link even bekeken en gelezen en ik denk dat er inderdaad wat fout is gegaan met het verwijderen van de 3.13.0-48 kernel, maar wat weet ik niet.
Misschien ben ik wel vergeten te rebooten o.i.d.
@Pjotr ik maak mij er ook niet erg druk om als alles gewoon werkt, maar ik ben nu eenmaal zo dat het volgens mijn regels moet werken.
Al kan dat natuurlijk niet altijd zo zijn.
Maar nu even verder:
Ik heb via synaptic de linux-image's en headers die bij automatisch verwijderbaar stonden, geherinstalleerd en gereboot zoals het systeem aangaf.
En nu werkt het weer als vanouds!
Dus het is voor mij opgelost en nogmaals dank voor de antwoorden.