ältere Kernel - nach Update noch vorhanden?