wenn aber der defaultkernel der installation drauf ist und keine sourcen dann ist das nicht viel...
ich hab durchschnittlich 3-5 komplette kernelsourcen inkl mehreren versionen der kernel auf platte
naja, soviel platten hab ich nicht überall...
aber unter 6GB sind in kein rechner drin
[edit]
die kernel module unter /lib/modules/$ALTE_KERNEL_VERSION sollte auch noch entfernt werden, dann ist nicht mehr viel über...