immer noch alter kernel nach update v. 7.1 auf 8.1