If the current kernel still boots, I would just compile a new kernel in the running system. Even if you're compiling the exact same kernel version again, you can give the new one a different local version number (e.g., -2 or whatever in "General setup" of menuconfig) so it will create its own folder in /lib/modules. If the new kernel works well, you can manually remove the old kernel if you want to (delete its stuff in /boot, /lib/modules, /usr/share/doc). Anyway, I do that routinely.
Last edited by stoat; 07-02-2012 at 07:36 PM.