Dankjewel voor het snelle antwoord.
Als ik het topic waarnaar je verwijst goed begrijp, volstaat het alle "oude" linux-images en linux-headers te verwijderen. Maar wat zijn dan die andere linux-packages? Linux alléén, dan met backport erbij, dan met generic erbij, dan met header erbij, dan met image erbij, dan met ... een eindeloze rij. Waartoe dienen die allemaal?
Ik heb eens de moeite genomen alleen al de geïnstalleerde te noteren:
1x linux generic
6x linux-headers
1x linux-headers-generic
3x linux-image
1x linux-image-generic
Welke daarvan mogen weg? Welke moeten zeker blijven???