haben wir neuigkeiten über den kernel wechseln 5.5.9 auf edision os my 4k