This seems to be ok. It's a little bit tricky, but after some restarts one gets rid of the old kernel. Even building modules works. Thank you very much!