apt sources.list (was: Neue Kernel einspielen)