> You did make a backup, didn't you?

No

This is a debian system. I thought Debian automatically kept a backup of the
replaced kernel.

I sure hope this can be fixed easily.