Re: ältere Kernel - nach Update noch vorhanden?